Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update csdp cache. | 2016-09-09 | |
| | | | | This was making the test-suite fail on machines where csdp was not installed. | ||
* | Fix test-suite after Frédéric's 6231f07b2. | 2016-09-01 | |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update csdp cache. | 2016-09-09 | |
| | | | | This was making the test-suite fail on machines where csdp was not installed. | ||
* | Fix test-suite after Frédéric's 6231f07b2. | 2016-09-01 | |