| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-12-10 | [ci] simplify overlay scripts | Enrico Tassi |
| 2020-10-12 | Automatically merge overlays with most recent upstream version | Gaëtan Gilbert |
| 2019-02-21 | remove meta trailing whitespace | Enrico Tassi |
| 2018-11-22 | [dev] fix create_overlay wrt branch names containing / | Enrico Tassi |
| 2018-11-17 | [devtools] Small script to setup overlays automatically | Emilio Jesus Gallego Arias |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |