Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve shell scripts | zapashcanon | 2018-04-05 |
* | 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 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Improve shell scripts | zapashcanon | 2018-04-05 |
* | 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 |