Commit message (Expand) | Author | Age | |
---|---|---|---|
* | build: win: support for addons | Enrico Tassi | 2018-03-02 |
* | [build] Remove coqmktop in favor of ocamlfind. | Emilio Jesus Gallego Arias | 2017-12-10 |
* | Fixes bug #5561,#5562 in Windows build system | Michael Soegtrop | 2017-06-26 |
* | Add Michael Soegtrop's new script to build windows installer. | Maxime Dénès | 2016-11-10 |