| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-01-04 | [win] remove old scripts, we now use the platform ones | Enrico Tassi | |
| 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 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |