.gitignore 114 Bytes
Newer Older
1
Makefile.coq.conf
2 3 4 5 6
Makefile.coq
*.v.d
*.aux
*.glob
*.vo
7
*.vio
Glen Mével's avatar
Glen Mével committed
8
.coqdeps.d
9
.lia.cache
10
*.tar.gz
Glen Mével's avatar
Glen Mével committed
11 12
*.sw[po]
\#*.v#
13
_opam