| Age | Commit message (Expand) | Author |
|---|---|---|
| 2018-10-05 | Fix review requests | Michael Soegtrop |
| 2018-10-05 | Remove old folder delete (can interfere with unique folder creation) | Michael Soegtrop |
| 2018-10-05 | Fix issue #8659 - Not always build extended set of addons for Windows installer | Michael Soegtrop |
| 2018-10-03 | Fix issue #8321 "Add more useful addons to the Windows Installer" | Michael Soegtrop |
| 2018-10-01 | Fix issue 8610 - Change important CI DOS batch files to CRLF | Michael Soegtrop |
| 2018-09-30 | Fix issue 8603 Move Windows CI runs to folder C:/ci | Michael Soegtrop |
| 2018-09-21 | Use unique names in windows CI for cygwin and coq install folder | Michael Soegtrop |
| 2018-09-21 | Merge commit 6a8c37c02504463afaa677641d75d9977020edf6 Windows buildfile clean... | Michael Soegtrop |
| 2018-06-25 | Activate the build of Ltac2 and Equations in the Windows installer. | Théo Zimmermann |
| 2018-05-11 | Windows packaging build with Gitlab CI | Maxime Dénès |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |