Commit message (Expand) | Author | Age | |
---|---|---|---|
* | test-suite: test checking of libraries checksum. | 2016-07-04 | |
* | test suite update after r14808 | 2011-12-19 | |
* | Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in | 2010-09-18 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | test-suite: test checking of libraries checksum. | 2016-07-04 | |
* | test suite update after r14808 | 2011-12-19 | |
* | Added test for bugs 2242, 2337, 2339 + remove the use of name "ambiguous" in | 2010-09-18 |