Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | windows build scripts made more accurate in detecting failures | 2015-08-17 | |
| | |||
* | win: compile with -debug | 2015-06-29 | |
| | |||
* | script to build 64 coq installer for windows | 2015-06-01 | |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | windows build scripts made more accurate in detecting failures | 2015-08-17 | |
| | |||
* | win: compile with -debug | 2015-06-29 | |
| | |||
* | script to build 64 coq installer for windows | 2015-06-01 | |