| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |