| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fixing bug #4495: Failed assertion in metasyntax.ml. |  Pierre-Marie Pédrot | 2016-01-24 |
| We simply handle the "break" in error messages. Not sure it is the proper bugfix though, we may want to be able to add breaks in such recursive notations. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |