| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-03-05 | Fix testsuite with respect to the new formatting of Fail messages. | Guillaume Melquiond |
| 2010-06-18 | Hack for fixing bug #2172 (see explanations in file rewrite-2172.v). | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |