*.vo
*.glob
*.v.d
.*.aux
_CoqProject
