*.vo
*.vok
*.vos
*.glob
*.d
*.aux
CoqMakefile
CoqMakefile.conf
theories/tactics.v
.dir-locals.el
