diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 44 |
1 files changed, 17 insertions, 27 deletions
diff --git a/.gitignore b/.gitignore index 7efa76130..4acd9930e 100644 --- a/.gitignore +++ b/.gitignore @@ -44,7 +44,6 @@ TAGS .pc bin/ _build -plugins/*/*_mod.ml myocamlbuild_config.ml config/Makefile config/coq_config.ml @@ -55,6 +54,7 @@ kernel/byterun/dllcoqrun.so coqdoc.sty csdp.cache test-suite/lia.cache +test-suite/nra.cache test-suite/trace test-suite/misc/universes/all_stdlib.v test-suite/misc/universes/universes.txt @@ -98,6 +98,8 @@ doc/RecTutorial/RecTutorial.html doc/RecTutorial/RecTutorial.pdf doc/RecTutorial/RecTutorial.ps dev/doc/naming-conventions.pdf +dev/ocamldoc/*.html +dev/ocamldoc/*.css # .mll files @@ -105,43 +107,26 @@ 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/ocamllibdep.ml tools/coqdoc/cpretty.ml -lib/xml_lexer.ml +ide/xml_lexer.ml -# .ml4 files +# .ml4 / .mlp files g_*.ml ide/project_file.ml -lib/pp.ml parsing/compat.ml -grammar/q_util.ml -grammar/q_constr.ml -grammar/q_coqast.ml -grammar/tacextend.ml -grammar/vernacextend.ml -grammar/argextend.ml -parsing/pcoq.ml -parsing/lexer.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/coretactics.ml -tactics/rewrite.ml -tactics/eqdecide.ml -tactics/extratactics.ml -tactics/extraargs.ml -toplevel/whelp.ml +parsing/cLexer.ml +ltac/coretactics.ml +ltac/extratactics.ml +ltac/extraargs.ml +ltac/profile_ltac_tactics.ml ide/coqide_main.ml +plugins/ssrmatching/ssrmatching.ml # other auto-generated files @@ -151,6 +136,10 @@ tools/tolink.ml theories/Numbers/Natural/BigN/NMake_gen.v ide/index_urls.txt lia.cache +checker/names.ml +checker/names.mli +checker/esubst.ml +checker/esubst.mli # mlis documentation @@ -169,3 +158,4 @@ dev/myinclude /doc/refman/Reference-Manual.optidx /doc/refman/Reference-Manual.optind user-contrib +.*.sw* |