| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix for issue 7707: include Ltac2 and Equations in Windows build |  Michael Soegtrop | 2018-06-25 |
| * | Fixes issue #7172 (don't include MinGW make in install) | Michael Soegtrop | 2018-04-05 |
| * | build: win: support for addons |  Enrico Tassi | 2018-03-02 |
| * | Fix build file |  Jim | 2017-12-16 |
| * | Do not reinstall preinstalled packages under AppVeyor. |  Maxime Dénès | 2017-09-21 |
| * | Print Cygwin setup output rather than logging in to a file. | Maxime Dénès | 2017-09-21 |
| * | In regression test mode, run cygwin setup to install dependencies. | Maxime Dénès | 2017-09-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 |