| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-06-29 | Fix issues in test-suite revealed by warnings. | Maxime Dénès |
| 2014-04-10 | better description of bug 3251 | Enrico Tassi |
| 2014-04-10 | coqtop -batch refuses Back 1 but accepts Undo. | Pierre Boutillier |
| 2014-04-02 | Add a test case for bug 3251 | Jason Gross |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |