.gitignore 74 Bytes
Newer Older
1 2 3 4 5 6 7
CoqMakefile.conf
Makefile.coq
*.v.d
*.aux
*.glob
*.vo
.lia.cache
8
*.tar.gz