aboutsummaryrefslogtreecommitdiff
path: root/test-suite/success
AgeCommit message (Expand)Author
2001-05-12Oubli d'hypotheses pour faire fonctionner les exemplesherbelin
2001-05-12Oubli d'hypotheses pour faire fonctionner les exemplesherbelin
2001-04-20test Fourier, DiscrRmayero
2001-04-20Mise a la norme lexicalemohring
2001-04-20Decomposition de Casesmohring
2001-04-20*** empty log message ***mohring
2001-04-20Tests pour Field avec les nombres reelsdelahaye
2001-04-20Ajout de la ligne d'etat pour CVSdelahaye
2001-04-11Bug rapporte par Randy en Mars 2000herbelin
2001-03-15entetesfilliatr
2001-03-14*** empty log message ***herbelin
2001-03-14Ajout syntaxe zarithherbelin
2001-02-27Ajout d'un test sur EAutomohring
2001-02-14Test syntaxe avec motifs numériquesherbelin
2001-02-06EqDecidefilliatr
2001-02-06Ajout d'un exempledelahaye
2001-02-05D'autres exemplesdelahaye
2001-02-05Ajout du test de Tautodelahaye
2001-01-21Tests pourherbelin
2000-12-15test univers, inductifs et sectionsfilliatr
2000-12-14Fichier de test pour les Casesherbelin
2000-12-12Ajout de testsmohring
2000-12-09tests automatiquesherbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 05:10:37 +0000