| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Moving bug numbers to BZ# format in the test-suite. |  Théo Zimmermann | 2017-10-19 |
| * | Fixing bug #2809 (anomaly when printing a module with notations due to |  herbelin | 2012-06-20 |
| * | Test bug #1025 | herbelin | 2005-12-30 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |