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