| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-01-04 | [win] remove old scripts, we now use the platform ones | Enrico Tassi | |
| 2019-05-21 | Fixing typos - Part 1 | JPR | |
| 2018-04-05 | Improve shell scripts | zapashcanon | |
| 2017-06-26 | Fixes bug #5561,#5562 in Windows build system | Michael Soegtrop | |
| 2016-11-10 | Add Michael Soegtrop's new script to build windows installer. | Maxime Dénès | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |