.gitignore 149 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
Ralf Jung's avatar
Ralf Jung committed
12
.coqdeps.d
Robbert Krebbers's avatar
Robbert Krebbers committed
13
.coq-native/
14
build-dep/
Ralf Jung's avatar
Ralf Jung committed
15 16
Makefile.coq
Makefile.coq.conf
17
*.crashcoqide