Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
31 lines (30 sloc) 241 Bytes
*.vo
*.d
*.glob
*.pyc
tree.dot
tree.ps
tree.pdf
tree.svg
doc.ps
doc/html/*
coqdoc.css
.docdepend
.doclist
deps
.sconsign.dblite
coqidescript
*.new
*#
deps.dot
deps.pdf
*.crashcoqide
*.cmi
*.cmo
*.cmx
*.cmxs
*.byte
*.ml.d
*.o
plot.pgm
coqdoc