Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Use -win32 and -win64 suffixes for installer name on Windows. | 2016-04-07 | |
* | 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 |