aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Notations2.v
Commit message (Expand)AuthorAge
* Fixing and completing interpretation of let's in notations for iterated binders.Gravatar herbelin2011-04-25
* Take benefit of eta-expansion so that "ex P" is displayed "exists x, P x".Gravatar herbelin2011-04-15
* Fixing multiple printing bugs with "Notation f x := ..."Gravatar herbelin2011-04-08
* Did that adding a rule for printing applications as "f(x)" works.Gravatar herbelin2011-03-31
* Remove some weird syntax "fun ... ," that used to be accepted (cf r13876)Gravatar letouzey2011-03-16
* Extension of the recursive notations mechanismGravatar herbelin2010-07-22
* Added printing of recursive notations in cases pattern (supported by wish 2248).Gravatar herbelin2010-06-14
* Fixed some printing bugs.Gravatar herbelin2010-04-18
* - Fixing #2090 (occur check missing when trying to solve evar-evar equation).Gravatar herbelin2009-04-25
* Fixing #2044 (bad printing of primitive notation at the head ofGravatar herbelin2009-02-06