Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [api] Remove yet another type alias. | 2017-12-09 | |
* | [api] Move structures deprecated in the API to the core. | 2017-11-06 | |
* | deprecate Pp.std_ppcmds type alias | 2017-07-27 | |
* | Cleaning up the implementation of module subtyping in the kernel. | 2017-07-11 | |
* | Merge PR#518: Faster universe unification | 2017-05-23 | |
|\ | |||
* | | Remove some unused values and types | 2017-04-27 | |
| * | Fast path when checking equality of universe levels in UState. | 2017-04-27 | |
|/ | |||
* | Splitting kernel universe code in two modules. | 2015-10-06 |