.gitignore 178 Bytes
Newer Older
1
*.vo
Tej Chajed's avatar
Tej Chajed committed
2 3
*.vos
*.vok
4 5
*.vio
*.v.d
6
.coqdeps.d
Tej Chajed's avatar
Tej Chajed committed
7
.Makefile.coq.d
8 9 10 11 12 13 14 15
*.glob
*.cache
*.aux
\#*\#
.\#*
*~
*.bak
.coq-native/
Ralf Jung's avatar
Ralf Jung committed
16 17
Makefile.coq
Makefile.coq.conf
18
*.crashcoqide
Ralf Jung's avatar
Ralf Jung committed
19
html/
Ralf Jung's avatar
Ralf Jung committed
20
build-dep/
Ralf Jung's avatar
Ralf Jung committed
21
_opam