Ulteriori configurazioni per hol_light_gcs
Ulteriori configurazioni per hol_light_gcs
Tentativo di rendere piu' veloce la compilazione di coq_hott
Merge branch 'holl-mode-virtux'