coq/syntax, branch master

Suppression des fichiers .v en ancienne syntaxe

2005-12-26T13:59:13+00:00

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

Nouvelle en-tête

2004-07-16T20:01:26+00:00

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

Preservation affichage des ?n en V7

2003-05-22T21:58:09+00:00

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

Affichage META

2003-05-19T20:29:07+00:00

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

Affichage des Fix contenant des Let dans leur context (ce que la tactique Fix permet)

2003-04-27T18:32:34+00:00

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

notations <>, Assumption avec existentiel, replace term

2003-03-28T17:25:57+00:00

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

Ajout de Set Print Width

2003-03-26T14:02:21+00:00

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

Bugs affichage

2003-01-16T21:13:16+00:00

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

Introduction d'un constructeur ARROW; rétablissement priorités des

2002-11-20T21:05:43+00:00

arguments de APPTAIL (autre méthode dans g_constr.ml4 pour gérer le
conflit entre "(f 3+4)" et "(f 3!x)")


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

Correction des priorités des TOMATCH

2002-11-20T20:36:08+00:00

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