Commit message (Expand) | Author | Age | |
---|---|---|---|
* | entetes | 2001-03-15 | |
* | *** empty log message *** | 2001-03-14 | |
* | Ajout syntaxe zarith | 2001-03-14 | |
* | Ajout d'un test sur EAuto | 2001-02-27 | |
* | Test syntaxe avec motifs numériques | 2001-02-14 | |
* | EqDecide | 2001-02-06 | |
* | Ajout d'un exemple | 2001-02-06 | |
* | D'autres exemples | 2001-02-05 | |
* | Ajout du test de Tauto | 2001-02-05 | |
* | Tests pour | 2001-01-21 | |
* | test univers, inductifs et sections | 2000-12-15 | |
* | Fichier de test pour les Cases | 2000-12-14 | |
* | Ajout de tests | 2000-12-12 | |
* | tests automatiques | 2000-12-09 |