aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite
Commit message (Expand)AuthorAge
* test de la bonne position des vars de ltac entre les vars et les relsGravatar herbelin2005-02-02
* The new tutorial on (co)inductive types by Pierre Casteran.Gravatar sacerdot2005-01-12
* Ajout test bug 860Gravatar herbelin2004-12-27
* Réactivation des tests output avec test aussi de la nouvelle syntaxeGravatar herbelin2004-12-09
* Ajout d'une version nouvelle syntaxeGravatar herbelin2004-12-09
* MAJ avec les particularités de l'afficheur v7 de la V8Gravatar herbelin2004-12-09
* Test d'affichage d'un Fix donné avec /nGravatar herbelin2004-12-09
* Fichier non traductible (référence à des objets invisibles ce qui empêche...Gravatar herbelin2004-12-09
* Intégré à Implicit.vGravatar herbelin2004-12-09
* Ajout suffixe 8 pour test en nouvelle syntaxeGravatar herbelin2004-12-09
* Plus de statut spécial pour RemarkGravatar herbelin2004-12-09
* Désactivation du test du printer arithmétique v7Gravatar herbelin2004-12-09
* Ajout bug do_restrict_hypGravatar herbelin2004-12-08
* Erreur commit précédentGravatar herbelin2004-12-06
* Ajout bug #888Gravatar herbelin2004-12-06
* Ajout bug #889Gravatar herbelin2004-12-06
* Failed in 8.0pl1Gravatar herbelin2004-12-04
* Was failing in 8.0pl1Gravatar herbelin2004-12-03
* Suppression bruit perlGravatar herbelin2004-11-28
* Re-commit version nouvelle syntaxeGravatar herbelin2004-11-28
* Passage à la v8 pour test parserGravatar herbelin2004-11-28
* Test lieurs dans NotationGravatar herbelin2004-11-17
* test-suite/output/Notations.outGravatar herbelin2004-11-17
* Ajout test dependent rewriteGravatar herbelin2004-10-27
* *** empty log message ***Gravatar herbelin2004-10-17
* reflexivity, symmetry, symmetry ... in e transitivity now fall-backGravatar sacerdot2004-10-14
* New commandsGravatar sacerdot2004-10-07
* Added "as ..." parameter to Add Morphism.Gravatar sacerdot2004-10-04
* Added "as ..." parameters to "Add Setoid"Gravatar sacerdot2004-10-01
* New tacticGravatar sacerdot2004-09-30
* New tactic [setoid_]rewrite ... in ... [generate side conditions ...].Gravatar sacerdot2004-09-30
* Test updated.Gravatar sacerdot2004-09-29
* AjoutsGravatar herbelin2004-09-25
* Ajout bug #255Gravatar herbelin2004-09-24
* * New test (for setoid_replace in the general case)Gravatar sacerdot2004-09-03
* * setoid_test.v removed and added again in new syntaxGravatar sacerdot2004-09-03
* The previous test file was truncated. New commit to fix the previousGravatar sacerdot2004-08-23
* Several tests for the bug-fixed and improved new version ofGravatar sacerdot2004-07-23
* Nouvelle en-têteGravatar herbelin2004-07-16
* commentaireGravatar herbelin2004-06-02
* Ajout tests affichage coercions vers FunclassGravatar herbelin2004-06-02
* Ajout testsGravatar herbelin2004-06-02
* Protection du destruct pour vérifier que ce n'est pas une anomalie, à défa...Gravatar herbelin2004-05-20
* Points-fixes avec let-inGravatar herbelin2004-05-03
* Ajout test bug 711Gravatar herbelin2004-05-02
* Test bug 705Gravatar herbelin2004-04-29
* Ajout test If nouvelle syntaxeGravatar herbelin2004-04-28
* Ajout exemple BrunoGravatar herbelin2004-04-14
* *** empty log message ***Gravatar barras2004-03-26
* *** empty log message ***Gravatar barras2004-03-24