.gitignore

*.glob
*.d
*.d.raw
*.vo
*.cm*
*.annot
*.spit
*.spot
*.o
*.a
*.log
*.aux
*.dvi
*.blg
*.bbl
*.idx
*.ilg
*.toc
*.atoc
*.comidx
*.comind
*.erridx
*.errind
*.haux
*.hcomind
*.herrind
*.hind
*.htacind
*.htoc
*.ind
*.lof
*.tacidx
*.tacind
*.v.tex
*.v.pdf
*.v.ps
*.v.html
*.stamp
revision
TAGS
.DS_Store
bin/
_build
plugins/*/*_mod.ml
myocamlbuild_config.ml
config/Makefile
config/coq_config.ml
dev/ocamldebug-coq
plugins/micromega/csdpcert
kernel/byterun/dllcoqrun.so
states/initial.coq
coqdoc.sty
test-suite/lia.cache
test-suite/trace

# documentation

doc/faq/html/
doc/refman/Reference-Manual.pdf
doc/refman/Reference-Manual.ps
doc/refman/cover.html
doc/refman/styles.hva
doc/refman/Reference-Manual.html
doc/common/version.tex
doc/refman/Reference-Manual.sh
doc/refman/coqide-queries.eps
doc/refman/coqide.eps
doc/refman/euclid.ml
doc/refman/euclid.mli
doc/refman/heapsort.ml
doc/refman/heapsort.mli
doc/refman/html/
doc/stdlib/Library.out
doc/stdlib/Library.pdf
doc/stdlib/Library.ps
doc/stdlib/Library.coqdoc.tex
doc/stdlib/html/
doc/stdlib/index-body.html
doc/stdlib/index-list.html
doc/RecTutorial/RecTutorial.html
doc/RecTutorial/RecTutorial.pdf
doc/RecTutorial/RecTutorial.ps
dev/doc/naming-conventions.pdf

# .mll files

dev/ocamlweb-doc/lex.ml
ide/coq_lex.ml
ide/config_lexer.ml
ide/utf8_convert.ml
ide/highlight.ml
plugins/dp/dp_zenon.ml
tools/gallina_lexer.ml
tools/coqwc.ml
tools/coqdep_lexer.ml
tools/coqdoc/cpretty.ml

# .mly files

dev/ocamlweb-doc/syntax.ml
dev/ocamlweb-doc/syntax.mli
ide/config_parser.ml
ide/config_parser.mli

# .ml4 files

lib/pp.ml
lib/compat.ml
parsing/g_xml.ml
parsing/g_prim.ml
parsing/q_util.ml
parsing/tacextend.ml
parsing/q_constr.ml
parsing/g_vernac.ml
parsing/pcoq.ml
parsing/g_constr.ml
parsing/g_ltac.ml
parsing/vernacextend.ml
parsing/g_tactic.ml
parsing/argextend.ml
parsing/g_decl_mode.ml
parsing/q_coqast.ml
parsing/g_proofs.ml
parsing/lexer.ml
plugins/xml/proofTree2Xml.ml
plugins/xml/acic2Xml.ml
plugins/xml/xml.ml
plugins/xml/dumptree.ml
plugins/xml/xmlentries.ml
plugins/extraction/g_extraction.ml
plugins/rtauto/g_rtauto.ml
plugins/romega/g_romega.ml
plugins/setoid_ring/newring.ml
plugins/firstorder/g_ground.ml
plugins/dp/g_dp.ml
plugins/cc/g_congruence.ml
plugins/ring/g_ring.ml
plugins/field/field.ml
plugins/funind/g_indfun.ml
plugins/omega/g_omega.ml
plugins/quote/g_quote.ml
plugins/nsatz/nsatz.ml
plugins/micromega/g_micromega.ml
plugins/subtac/g_subtac.ml
plugins/fourier/g_fourier.ml
plugins/decl_mode/g_decl_mode.ml
tactics/tauto.ml
tactics/eauto.ml
tactics/hipattern.ml
tactics/class_tactics.ml
tactics/rewrite.ml
tactics/eqdecide.ml
tactics/extratactics.ml
tactics/extraargs.ml
tools/coq_makefile.ml
tools/coq_tex.ml
toplevel/mltop.ml
toplevel/whelp.ml

# other auto-generated files

ide/undo.mli
toplevel/mltop.optml
toplevel/mltop.byteml
kernel/byterun/coq_jumptbl.h
kernel/copcodes.ml
scripts/tolink.ml
theories/Numbers/Natural/BigN/NMake_gen.v
ide/index_urls.txt

# mlis documentation

dev/ocamldoc/html/
dev/ocamldoc/coq.*
dev/ocamldoc/ocamldoc.sty