Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Get rid of "shouldfail" subdirectory by moving tests to parent directory. | 2013-09-20 | |
* | Update test for bug 2846 in order to use "Fail". | 2013-09-20 | |
* | Added test for bug #2846. | 2013-08-04 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Get rid of "shouldfail" subdirectory by moving tests to parent directory. | 2013-09-20 | |
* | Update test for bug 2846 in order to use "Fail". | 2013-09-20 | |
* | Added test for bug #2846. | 2013-08-04 |