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