Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |