aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output
Commit message (Expand)AuthorAge
* Fixed some printing bugs.Gravatar herbelin2010-04-18
* Optimized need for delimiters when disjoint scopes for strings andGravatar herbelin2010-04-10
* Minimal test suite for search commandsGravatar puech2010-03-11
* Fix NumbersSyntax.outGravatar letouzey2010-02-13
* minor change in test-suite/output/NumberSyntax.out: a BigN.t_ instead of BigN.tGravatar letouzey2010-01-29
* In "simpl c" and "change c with d", c can be a pattern.Gravatar herbelin2009-12-24
* Still continuing r12485-12486, r12549, r12556 (cleaning around name generation)Gravatar herbelin2009-12-03
* Continuing r12485-12486 and r12549 (cleaning around name generation)Gravatar herbelin2009-12-02
* Continuing r12485-12486 (cleaning around name generation)Gravatar herbelin2009-12-01
* BigQ / BigN / BigZ syntax and scope improvements (sequel to 12504)Gravatar letouzey2009-11-12
* Repair interpretation of numeral for BigQ, add a printer (close #2160)Gravatar letouzey2009-11-12
* Improving abbreviations/notations + backtrack of semantic change in r12439Gravatar herbelin2009-11-11
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 02:22:29 +0000