Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
* | Remove query-in-IDE warning. | 2017-12-27 | |
* | Separate vernac controls and regular commands. | 2017-12-20 | |
* | Bump year in headers. | 2017-07-04 | |
* | [stm] Port the toplevel to the STM. | 2017-04-12 |