Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [test-suite] Add tests for goal printing. | Emilio Jesus Gallego Arias | 2017-05-20 |
- https://coq.inria.fr/bugs/show_bug.cgi?id=5529 - https://coq.inria.fr/bugs/show_bug.cgi?id=5537 See also PR #640 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [test-suite] Add tests for goal printing. | Emilio Jesus Gallego Arias | 2017-05-20 |
- https://coq.inria.fr/bugs/show_bug.cgi?id=5529 - https://coq.inria.fr/bugs/show_bug.cgi?id=5537 See also PR #640 |