aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Cases.out
Commit message (Expand)AuthorAge
* In printing, factorizing "match" clauses with same right-hand side.Gravatar Hugo Herbelin2017-12-12
* A fix to #5414 (ident bound by ltac names now known for "match").Gravatar Hugo Herbelin2017-06-09
* Better support for printing constructors with let-ins.Gravatar Hugo Herbelin2017-04-07
* Test for variant of #5142 (good error message on pattern-matching failure).Gravatar Hugo Herbelin2016-10-19
* Attempt to improve error rendering in pattern-matching compilation (#5142).Gravatar Hugo Herbelin2016-10-19
* Merge branch 'trunk-function_scope' of https://github.com/JasonGross/coq into...Gravatar Matthieu Sozeau2016-04-04
|\
* | Using x in output test-suite Cases.v (cosmetic).Gravatar Hugo Herbelin2015-12-05
* | Fixing output test Cases.v.Gravatar Pierre-Marie Pédrot2015-11-15
| * Revert commit 18796b6aea453bdeef1ad12ce80eeb220bf01e67, close 3080Gravatar Jason Gross2015-08-14
|/
* Do not display the status of monomorphic constants unless in universe-polymor...Gravatar Guillaume Melquiond2015-03-09
* Fixing clash in output test-suite Cases.Gravatar Hugo Herbelin2014-10-23
* A patch for printing "match" when constructors are defined with let-inGravatar Hugo Herbelin2014-10-20
* Upgrading output tests.Gravatar Hugo Herbelin2014-08-12
* Fixing output test-suite.Gravatar Pierre-Marie Pédrot2014-07-21
* Fixing output test-suite: since universe polymorphism, the Print commandGravatar Pierre-Marie Pédrot2014-05-08
* Fixing #3293 (eta-expansion at "match" printing time was failingGravatar Hugo Herbelin2014-04-28
* Notations are back in the "in" clause of pattern matching.Gravatar pboutill2012-05-15
* Parameters in pattern first step.Gravatar pboutill2012-01-16
* Conséquence renommage canonique de refl_equal en eq_refl.Gravatar herbelin2009-01-02
* Test case for previous commit.Gravatar msozeau2008-11-27
* Update test-suite outputGravatar glondu2008-07-29
* 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
* Adaptation Tactics.out et Cases.out au comportement actuel à défaut d'évit...Gravatar herbelin2006-06-09
* Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8Gravatar herbelin2005-12-21
* MAJ avec les particularités de l'afficheur v7 de la V8Gravatar herbelin2004-12-09
* Problème de désynchronisation des variables du type et du corps d'un point-...Gravatar herbelin2003-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-26 11:53:14 +0000