*.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 .pc 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 test-suite/misc/universes/all_stdlib.v test-suite/misc/universes/universes.txt # documentation doc/faq/html/ doc/refman/csdp.cache doc/refman/trace 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/FullLibrary.pdf doc/stdlib/FullLibrary.ps doc/stdlib/FullLibrary.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 lib/xml_lexer.ml # .mly files ide/config_parser.ml ide/config_parser.mli # .ml4 files g_*.ml ide/project_file.ml lib/pp.ml lib/compat.ml parsing/q_util.ml parsing/tacextend.ml parsing/q_constr.ml parsing/pcoq.ml parsing/vernacextend.ml parsing/argextend.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/setoid_ring/newring.ml plugins/field/field.ml plugins/nsatz/nsatz.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_tex.ml toplevel/mltop.ml toplevel/whelp.ml ide/coqide_main.ml ide/coqide_main_opt.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