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