*.annot
*.v.d
*.vo
*.glob
*.cm*
*.o
*.a
.depend
*~
*.ml*.d
*.stamp
bcoq/bcoq
depgraph.pdf
xcoq/Makefile.coq
xcoq/Makefile-localvars.gen
xcoq/kernel.ml
bcoq/kernel.ml*
