.gitignore 84 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
Robbert Krebbers's avatar
Robbert Krebbers committed
4 5 6
*.glob
*.cache
*.aux
Ralf Jung's avatar
Ralf Jung committed
7
\#*\#
Ralf Jung's avatar
Ralf Jung committed
8
.\#*
Ralf Jung's avatar
Ralf Jung committed
9
*~
10
*.bak
Robbert Krebbers's avatar
Robbert Krebbers committed
11
.coq-native/
12
Makefile.coq