aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/ZSyntax.v
Commit message (Expand)AuthorAge
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* Parseur pour n>20 dans nat plus disponibleGravatar herbelin2002-10-16
* Quelques bugs avec inject_natGravatar herbelin2002-04-17
* Test affichage O de nat dans une expression sur ZGravatar herbelin2002-01-25
* Test syntaxe des entiers relatifsGravatar herbelin2001-10-17