*.vo *.vio *.v.d *.glob *.cache *.aux \#*\# .\#* *~ *.bak .coq-native/
Makefile.coq*
*.crashcoqide
html/
