Makefile.bak
Make
Makefile
Makefile.conf
Makefile.coq
Makefile.coq.conf
*.vo
*.vok
*.vos
*.d
*.glob
*.pyc
tree.dot
tree.ps
tree.pdf
tree.svg
doc.ps
doc/html/*
coqdoc.css
.docdepend
.doclist
deps
.sconsign.dblite
.lia.cache
coqidescript
*.new
*#
deps.dot
deps.pdf
*.native
*.aux
*.crashcoqide
*.cmi
*.cmo
*.cmx
*.cmxs
*.cmxa
*.byte
*.ml.d
*.o
*.a
plot.pgm
coqdoc
*.native
*.aux
*~
result