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