| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-07 | [win] Coq trunk is now called master | Enrico Tassi | |
| The old script was still working but downloading an old version, probably there is a git ref called trunk somewhere | |||
| 2017-06-26 | Fixes bug #5561,#5562 in Windows build system | Michael Soegtrop | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |