aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
Commit message (Expand)AuthorAge
* test Fourier, DiscrRGravatar mayero2001-04-20
* Mise a la norme lexicaleGravatar mohring2001-04-20
* Decomposition de CasesGravatar mohring2001-04-20
* Erreurs de CasesGravatar mohring2001-04-20
* *** empty log message ***Gravatar mohring2001-04-20
* Ajout d'erreurs sur le Case avec branche redondanteGravatar mohring2001-04-20
* Tests pour Field avec les nombres reelsGravatar delahaye2001-04-20
* Ajout de la ligne d'etat pour CVSGravatar delahaye2001-04-20
* ajout de testsGravatar mohring2001-04-13
* Bug rapporte par Randy en Mars 2000Gravatar herbelin2001-04-11
* entetesGravatar filliatr2001-03-15
* *** empty log message ***Gravatar herbelin2001-03-14
* Ajout syntaxe zarithGravatar herbelin2001-03-14
* Ajout d'un test sur EAutoGravatar mohring2001-02-27
* Test syntaxe avec motifs numériquesGravatar herbelin2001-02-14
* EqDecideGravatar filliatr2001-02-06
* Ajout d'un exempleGravatar delahaye2001-02-06
* D'autres exemplesGravatar delahaye2001-02-05
* Pas d'Apply dans TautoGravatar delahaye2001-02-05
* Ajout du test de TautoGravatar delahaye2001-02-05
* Tests pourGravatar herbelin2001-01-21
* test univers, inductifs et sectionsGravatar filliatr2000-12-15
* Fichier de test pour les CasesGravatar herbelin2000-12-14
* Ajout de testsGravatar mohring2000-12-12
* tests automatiquesGravatar herbelin2000-12-09
* tests RefineGravatar filliatr2000-07-20
* renommage (nom de module invalide)Gravatar filliatr1999-12-12
* fichiers de benchGravatar filliatr1999-12-05
* fichier de test d'inductifs pour minicoqGravatar filliatr1999-09-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 13:59:33 +0000