| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-04-27 | Fixing output of Notations2.v test messed up in r14060 | herbelin |
| 2011-04-25 | Fixing and completing interpretation of let's in notations for iterated binders. | herbelin |
| 2011-04-15 | Take benefit of eta-expansion so that "ex P" is displayed "exists x, P x". | herbelin |
| 2011-04-08 | Fixing multiple printing bugs with "Notation f x := ..." | herbelin |
| 2011-03-31 | Did that adding a rule for printing applications as "f(x)" works. | herbelin |
| 2010-07-22 | Extension of the recursive notations mechanism | herbelin |
| 2010-06-14 | Added printing of recursive notations in cases pattern (supported by wish 2248). | herbelin |
| 2010-04-18 | Fixed some printing bugs. | herbelin |
| 2009-04-25 | - Fixing #2090 (occur check missing when trying to solve evar-evar equation). | herbelin |
| 2009-02-06 | Fixing #2044 (bad printing of primitive notation at the head of | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |