.gitignore 165 Bytes
Newer Older
1
Makefile.coq.conf
2 3 4 5 6
Makefile.coq
*.v.d
*.aux
*.glob
*.vo
7
*.vio
MEVEL Glen's avatar
MEVEL Glen committed
8
.coqdeps.d
9
.lia.cache
10
*.tar.gz
MEVEL Glen's avatar
MEVEL Glen committed
11
*.sw[po]
12
_opam
13 14 15 16 17 18 19
\#*\#
.\#*
*~
*.bak
.coq-native/
build-dep/
*.crashcoqide