| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Notation: use same level for "@" in constr: and pattern: (Close: #4272) |  Enrico Tassi | 2015-07-01 |
| A possible script breakage can occur if one has a notation at level 11 that is also right associative (now 11 is left associative). Thanks Georges for debugging that. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |