Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump year in headers. | 2017-07-04 | |
| | |||
* | [stm] Port the toplevel to the STM. | 2017-04-12 | |
- We clean-up `Vernac` and make it use the STM API. - Now functions in `Vernac` for use in the toplevel and compiler take an starting `Stateid.t`. - Duplicated `Stm.interp` entry point is removed. - The XML protocol call `interp` is disabled. |