diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-19 15:29:32 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2010-05-19 15:29:32 +0000 |
| commit | e1feff1215562d8f99fedf73c87011e6d7edca19 (patch) | |
| tree | 873b23eb1db1430751f3ecb35173d58a0b6a5ff2 /.gitignore | |
| parent | 6af0706a64f490bea919c39e4a91e09f85c24e23 (diff) | |
Remove refutpat.ml4, ideal.ml4 is again a normal .ml, let* coded in a naive way
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13017 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index f0dd91db9..98479902a 100644 --- a/.gitignore +++ b/.gitignore @@ -106,7 +106,6 @@ ide/config_parser.mli lib/pp.ml lib/compat.ml -lib/refutpat.ml parsing/g_xml.ml parsing/g_prim.ml parsing/q_util.ml @@ -141,7 +140,6 @@ plugins/funind/g_indfun.ml plugins/omega/g_omega.ml plugins/quote/g_quote.ml plugins/groebner/groebner.ml -plugins/groebner/ideal.ml plugins/micromega/g_micromega.ml plugins/subtac/g_subtac.ml plugins/fourier/g_fourier.ml |