aboutsummaryrefslogtreecommitdiff
path: root/test-suite/output/ZSyntax.out
AgeCommit message (Collapse)Author
2002-04-17Quelques bugs avec inject_natherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2653 85f007b7-540e-0410-9357-904b9bb8a0f7
2002-01-25Test affichage O de nat dans une expression sur Zherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2440 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-10-17Test syntaxe des entiers relatifsherbelin
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2128 85f007b7-540e-0410-9357-904b9bb8a0f7