Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Deprecate UState aliases in Evd. | 2018-03-06 | |
* | Update headers following #6543. | 2018-02-27 | |
* | [ast] Improve precision of Ast location recognition in serialization. | 2018-02-22 | |
* | Fix interpretation of global universes in univdecl constraints. | 2017-11-25 | |
* | Use Maps and ids for universe binders | 2017-11-24 | |
* | [api] Another large deprecation, `Nameops` | 2017-11-13 | |
* | Allow declaring universe constraints at definition level. | 2017-09-19 |