diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-28 16:24:48 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-28 16:28:30 +0200 |
commit | 044d9f62bf0e1140268a3236e4bb53f10d716078 (patch) | |
tree | 1cbe624cc4c0153cd55606801c39dbee4dfbeb88 /.gitignore | |
parent | 59586ce49266f6b709cb53e4647b8907a7a08eb8 (diff) |
Updating .gitignore.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 20 |
1 files changed, 3 insertions, 17 deletions
diff --git a/.gitignore b/.gitignore index 5c932ad02..b50bca3cf 100644 --- a/.gitignore +++ b/.gitignore @@ -107,8 +107,6 @@ 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 @@ -121,29 +119,17 @@ lib/xml_lexer.ml 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 +ltac/coretactics.ml +ltac/extratactics.ml +ltac/extraargs.ml ide/coqide_main.ml # other auto-generated files |