*~
*.cmi
*.cmo
*.cmx
*.o
Makefile
Makefile.deps
gen_dump.odoc-dump
hand_dump.odoc-dump
prooftree
prooftree.man.html
prooftree.man.txt
version.ml
coq_evar_lexer.ml
coq_evar_parser.ml
coq_evar_parser.mli
TAGS
doc
debug/delay
