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