| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-07-04 | test-suite: test checking of libraries checksum. | Maxime Dénès |
| 2011-12-19 | test suite update after r14808 | pboutill |
| 2010-09-18 | Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in | herbelin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |