*.log *.toc *.xml *.pdf
*.vo *.v.d *.glob *.cache *.aux \#*\# .\#* *~ *.bak .coq-native/
Makefile.coq
