coq/contrib/groebner, branch master

Directory 'contrib' renamed into 'plugins', to end confusion with archive of user contribs

2009-03-20T01:22:58+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11996 85f007b7-540e-0410-9357-904b9bb8a0f7

- gros commit sur ring et field: passage des arguments simplifie

2009-03-17T20:14:19+00:00

- tacinterp.ml: les arguments tactiques de Tactic Notation n'etaient
  pas evalues, laissant des variables libres (symptome: exc Not_found)
- reals: Open Local --> Local Open
- ListTactics: syntaxe des listes



git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11989 85f007b7-540e-0410-9357-904b9bb8a0f7

Makefile: ml dependencies of contribs are moved to .mllib files

2009-03-14T11:29:46+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11977 85f007b7-540e-0410-9357-904b9bb8a0f7

fixed groebner as a plugin + pattern matching Timeout

2009-03-06T21:40:38+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11967 85f007b7-540e-0410-9357-904b9bb8a0f7

missing Require

2009-03-06T14:28:03+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11966 85f007b7-540e-0410-9357-904b9bb8a0f7

oups (module Entiers remplace par Big_int)

2009-03-06T11:02:10+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11965 85f007b7-540e-0410-9357-904b9bb8a0f7

ajout de la tactique groebner de Loic Pottier

2009-03-05T21:20:08+00:00

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11964 85f007b7-540e-0410-9357-904b9bb8a0f7