aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/syntax.mly
Commit message (Collapse)AuthorAge
* exemple complet de parserGravatar barras2002-12-17
| | | | | | | | changement de syntaxe des scope: expr % id ex: (10 + 5 * 4)%N ou 4%N git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3451 85f007b7-540e-0410-9357-904b9bb8a0f7
* pseudo-parser ocamlyacc de la nouvelle syntaxeGravatar barras2002-11-26
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3303 85f007b7-540e-0410-9357-904b9bb8a0f7