Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [api] Remove yet another type alias. | 2017-12-09 | |
* | Fix some typos. | 2015-10-13 | |
* | Minor typo in universe polymorphism doc. | 2015-10-09 | |
* | Univs: More info for developers. | 2015-10-02 | |
* | Change Ltac constr matching semantics to consider universes when merging two | 2014-06-15 | |
* | Add incompatibilities paragraph in doc about universe polymorphism. | 2014-05-06 | |
* | Add doc on the new API for universe polymorphism and primitive projections | 2014-05-06 |