version.tex
*.blg
*.ind
*.ilg
*.v.tex
*.pdf
euclid.ml*
heapsort.ml*
avl.ml
*.bbl
www
coq-docs-html
Reference-Manual.atoc
Reference-Manual.tacidx Reference-Manual.tacind Reference-Manual.comind
Reference-Manual.comidx Reference-Manual.errind Reference-Manual.erridx
Reference-Manual.hidx Reference-Manual.haux Reference-Manual.hind 
Reference-Manual.hcomind Reference-Manual.htacind Reference-Manual.herrind
Reference-Manual.sh
Anomalies.dvi.gz Anomalies.ps.gz Changes.dvi.gz Changes.ps.gz Library.dvi.gz Library.ps.gz Reference-Manual-addendum.ps.gz Reference-Manual-all.dvi.gz Reference-Manual-all.ps.gz Reference-Manual-base.ps.gz Tutorial.dvi.gz Tutorial.ps.gz
Reference-Manual-base.dvi.gz
Reference-Manual-addendum.dvi.gz
Tutorial.pdf.gz
Reference-Manual.pdf.gz
Library.pdf.gz
Changes.pdf.gz
auto
all-ps-docs.tar
doc-html.tar.gz
all-ps-docs.tar.gz
config.cache
config.status
Reference-Manual.rel
library.files
library.files.ls
library.files.ls.tmp
library.coqweb.tex
tradv8
coqide.eps
coqide-queries.eps