From 044d9f62bf0e1140268a3236e4bb53f10d716078 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Mon, 28 Mar 2016 16:24:48 +0200 Subject: Updating .gitignore. --- .gitignore | 20 +++----------------- 1 file changed, 3 insertions(+), 17 deletions(-) (limited to '.gitignore') 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 -- cgit v1.2.3