Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [stm] Move VernacBacktrack to the toplevel. | 2018-04-01 | |
* | Implement the Export Set/Unset feature. | 2018-03-09 | |
* | Update headers following #6543. | 2018-02-27 | |
* | [ast] Improve precision of Ast location recognition in serialization. | 2018-02-22 | |
* | [vernac] vernac_expr no longer recursive | 2018-01-08 | |
* | Merge PR #6492: Remove query-in-IDE warning. | 2017-12-29 | |
|\ | |||
| * | Remove query-in-IDE warning. | 2017-12-27 | |
* | | [flags] Move global time flag into an attribute. | 2017-12-23 | |
|/ | |||
* | Separate vernac controls and regular commands. | 2017-12-20 | |
* | Remove STM vernaculars. | 2017-09-19 | |
* | Bump year in headers. | 2017-07-04 | |
* | [stm] Port the toplevel to the STM. | 2017-04-12 |