aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output
Commit message (Expand)AuthorAge
* - Fixing #2090 (occur check missing when trying to solve evar-evar equation).Gravatar herbelin2009-04-25
* Fix test output mentionning an existential number that changed.Gravatar msozeau2009-04-20
* Add tests for quoteGravatar glondu2009-03-30
* Fixing #2044 (bad printing of primitive notation at the head ofGravatar herbelin2009-02-06
* The initial state evar numbering increased. Fix output message in a test.Gravatar puech2009-01-19
* - Standardized prefix use of "Local"/"Global" modifiers as decided inGravatar herbelin2009-01-13
* Regression test for bug #1967Gravatar herbelin2009-01-02
* Conséquence renommage canonique de refl_equal en eq_refl.Gravatar herbelin2009-01-02
* Miscellaneous fixes and improvements:Gravatar herbelin2008-12-02
* Test case for previous commit.Gravatar msozeau2008-11-27
* - Correction erreur dans test output Notation.vGravatar herbelin2008-11-09
* - Ajout possibilité de lancer ocamldebug sur coqideGravatar herbelin2008-11-07
* 11511 continued (bug in set.out + incohérence dans "Theorem with"Gravatar herbelin2008-10-28
* - Fixed many "Theorem with" bugs.Gravatar herbelin2008-10-27
* Affichage des notations récursives:Gravatar herbelin2008-10-22
* Correction de bugs:Gravatar herbelin2008-08-05
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Oops... the trunk behaviour is differentGravatar glondu2008-07-29
* Update test-suite outputGravatar glondu2008-07-29
* Documentation Prop<=Set et Arguments Scope GlobalGravatar herbelin2008-07-01
* Renommage id dans le test Nametab (suite ajout d'une constante de ceGravatar herbelin2008-06-05
* Petites corrections vis à vis des commits 10860, 10859, 10850Gravatar herbelin2008-04-28
* Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuveGravatar herbelin2008-04-25
* Diverses petites modifs dans la test-suite:Gravatar notin2008-03-26
* Correction de bugs relatifs a la compostion des substitutionsGravatar soubiran2008-03-25
* Fix bugs that were reopened due to the change of setoidGravatar msozeau2008-03-08
* Beaoucoup de changements dans la representation interne des modules.Gravatar soubiran2008-02-01
* Ajout de sauts de ligne dans l'affichage des scripts (cf commit 10445)Gravatar notin2008-01-22
* Correction de quelques défauts d'affichage (notations sous "as" pourGravatar herbelin2007-10-05
* - Fixing bug 1703 ("intros until n" falls back on the variable name whenGravatar herbelin2007-09-21
* removed thesisGravatar barras2007-07-23
* Update (test-suite was not successful).Gravatar glondu2007-07-12
* Factorisation des paramètres dans l'affichage des inductifsGravatar herbelin2007-07-02
* Prise en compte réversibilité des notations de la forme "Notation Nil := @n...Gravatar herbelin2007-05-10
* Nouveaux changements autour des implicites (notamment suite àGravatar herbelin2007-05-06
* Nettoyage des tactiques basées sur "simpl" (delta-réduction cachantGravatar herbelin2007-04-13
* MAJGravatar herbelin2006-12-12
* Correction test-suite suite à r9186Gravatar notin2006-10-13
* Exemple avec liaison des variables de filtrage du matchGravatar herbelin2006-10-09
* Notations:Gravatar herbelin2006-10-09
* Corrections mineuresGravatar notin2006-09-25
* Correction bug #1179 (result of Notation.decompose_notation_key in wrong orderGravatar herbelin2006-09-23
* - Correction filtrage des notations impliquant un "match" : la présenceGravatar herbelin2006-09-23
* Adaptation Tactics.out et Cases.out au comportement actuel à défaut d'évit...Gravatar herbelin2006-06-09
* Adaptation au passage de sig2 dans TypeGravatar herbelin2006-05-28
* Conformité nouveaux principes: Declare Module non utilisable pour définir u...Gravatar herbelin2006-05-10
* Timide tentative de clarification du statut de l'opérateur de filtrageGravatar herbelin2006-04-24
* Ajout test notation récursiveGravatar herbelin2006-01-11
* Test choix conflit afficheur de nombres selon la présence ou pas d'une coercionGravatar herbelin2006-01-05
* Affichage de 'O' (lettre) comme '0' (chiffre)Gravatar herbelin2006-01-02