Commit message (Expand) | Author | Age | |
---|---|---|---|
* | entetes | filliatr | 2001-03-15 |
* | *** empty log message *** | herbelin | 2001-03-14 |
* | Ajout syntaxe zarith | herbelin | 2001-03-14 |
* | 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 |
* | Pas d'Apply dans Tauto | 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 |
* | tests Refine | filliatr | 2000-07-20 |
* | renommage (nom de module invalide) | filliatr | 1999-12-12 |
* | fichiers de bench | filliatr | 1999-12-05 |
* | fichier de test d'inductifs pour minicoq | filliatr | 1999-09-08 |