Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages.coq-elpi: 1.4.0 -> 1.4.1 | Cyril Cohen | 2020-06-12 |
* | ocamlPackages.elpi: 1.10.2 -> 1.11.0 | Cyril Cohen | 2020-06-04 |
* | elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3 | Cyril Cohen | 2020-03-03 |
* | treewide: installFlags is a list | Robin Gloster | 2019-12-30 |
* | coq_8_10: 8.10+β3 → 8.10.0 | Vincent Laporte | 2019-10-16 |
* | treewide: remove redundant quotes | volth | 2019-08-26 |
* | elpi: 1.4.1 -> 1.6.0, and coq-elpi | Cyril Cohen | 2019-08-09 |