Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bug #3804 is actually closed (thanks to Jason Gross for the notification). | 2014-11-25 | |
* | Cleaning up closed bugs in test-suite. | 2014-11-21 | |
* | Add test-suite file for bug #3804. | 2014-11-21 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Bug #3804 is actually closed (thanks to Jason Gross for the notification). | 2014-11-25 | |
* | Cleaning up closed bugs in test-suite. | 2014-11-21 | |
* | Add test-suite file for bug #3804. | 2014-11-21 |