Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixes in the test-suite after modularisation of ZArith and co | 2011-05-06 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Parseur pour n>20 dans nat plus disponible | 2002-10-16 | |
* | Quelques bugs avec inject_nat | 2002-04-17 | |
* | Test affichage O de nat dans une expression sur Z | 2002-01-25 | |
* | Test syntaxe des entiers relatifs | 2001-10-17 |