| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-03-03 | Remove invisible U+FE00 variation selector from CoqIDE bindings | Nickolai Zeldovich |
| 2019-03-18 | [ide] Address warning 50 | Vincent Laporte |
| 2019-03-18 | binding generator for coqide | charguer |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |