.gitignore 63 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
*.vo
Ralf Jung's avatar
Ralf Jung committed
2
*.v.d
Robbert Krebbers's avatar
Robbert Krebbers committed
3 4 5
*.glob
*.cache
*.aux
Ralf Jung's avatar
Ralf Jung committed
6 7
\#*\#
*~
Robbert Krebbers's avatar
Robbert Krebbers committed
8
.coq-native/
9
Makefile