Revision bf4186374eb05fd561ab0aacdd64d9eb014729d8 authored by Fabian Kunze on 21 April 2020, 09:24:42 UTC, committed by Fabian Kunze on 21 April 2020, 09:24:42 UTC
-changed compilation order for better utilization of multi-core compilation (start large, monolithic files early)
1 parent bb747c7
.gitignore
*.aux
*.vo
*.v.d
*.glob
*Makefile.coq
*Makefile.coq.d
*Makefile.coq.conf
*.coqdeps.d
*.lia.cache
*.nia.cache
*.vok
*.vos
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...