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