Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 |