diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 26 |
1 files changed, 2 insertions, 24 deletions
diff --git a/.gitignore b/.gitignore index 0c8d63ae2..d2e2bcb5c 100644 --- a/.gitignore +++ b/.gitignore @@ -111,48 +111,26 @@ ide/config_parser.mli # .ml4 files +g_*.ml + ide/project_file.ml 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/btauto/g_btauto.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 |