Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | 2018-02-27 | |
| | |||
* | [stm] Switch to a functional API | 2017-10-06 | |
| | | | | | | | | | | | | | | We make the Stm API functional over an opaque `doc` type. This allows to have a much better picture of what the toplevel is doing; now almost all users of STM private data are marked by typing. For now only, the API is functional; a PR switching the internals should come soon thou; however we must first fix some initialization bugs. Due to some users, we modify `feedback` internally to include a "document id" field; we don't expose this change in the IDE protocol yet. | ||
* | Bump year in headers. | 2017-07-04 | |
| | |||
* | STM: proof block detection for par: | 2016-06-06 | |
| | | | | | "par: tac" is a terminator, if it fails we can admit all focused goals and continue. | ||
* | STM: proof block detection for bullets and { block } | 2016-06-06 | |