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