Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Minor fixes in the test-suite after my recent commits | 2012-07-06 | |
* | Fixes in the test-suite after modularisation of ZArith and co | 2011-05-06 | |
* | Diverses petites modifs dans la test-suite: | 2008-03-26 | |
* | Fix bugs that were reopened due to the change of setoid | 2008-03-08 | |
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | MAJ avec les particularités de l'afficheur v7 de la V8 | 2004-12-09 | |
* | 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 |