# Makefile
Makefile.coq
Makefile.coq.conf
.Makefile.coq.d
devdep/
html/

# Coq
*.vo
*.vok
*.vos
*.glob
.*.aux
*.cache
