Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [api] Rename `global_reference` to `GlobRef.t` to follow kernel style. | 2018-05-04 | |
* | Update headers following #6543. | 2018-02-27 | |
* | Merge PR #6065: [api] Deprecate all legacy uses of Names in core. | 2017-11-13 | |
|\ | |||
* | | [api] Remove 8.7 ML-deprecated functions. | 2017-11-07 | |
| * | [api] Deprecate all legacy uses of Names in core. | 2017-11-06 | |
|/ | |||
* | Bump year in headers. | 2017-07-04 | |
* | [coqlib] Move `Coqlib` to `library/`. | 2017-05-27 |