| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-04-17 | Properly pass the Ltac2 notation level to the gramlib API. | Pierre-Marie Pédrot | |
| For some reason I was confusing the position and the level in the previous version of the code. Fixes #11866: Ltac2 Notations do not respect precedence. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |