.gitignore 131 Bytes
Newer Older
Dan Frumin's avatar
Dan Frumin committed
1 2 3 4
*.log
*.toc
*.xml
*.pdf
5 6 7 8 9 10 11 12 13 14
*.vo
*.v.d
*.glob
*.cache
*.aux
\#*\#
.\#*
*~
*.bak
.coq-native/
15
Makefile.coq
16 17
Makefile.coq.conf
build-dep/