diff options
author | 2017-10-15 19:21:00 +0200 | |
---|---|---|
committer | 2017-10-17 02:18:29 +0200 | |
commit | ab915f905ca81018521db63cdd0f3126b35c69c6 (patch) | |
tree | 89846b34951330cdb4dcabaaad9d715afbb74173 /lib/canary.mli | |
parent | c00cecfc66eb76d6bca8980ef719577fd81cc400 (diff) |
[stm] First step to move interpretation of Undo commands out of the classifier.
The vernacular classifier has a current special case for "Undo" like
commands, as it needs access to the document structure in order to
produce the proper "VtBack" classification, however the classifier is
defined before the document is.
We introduce a new delegation status `VtMeta` that allows us to
interpreted such commands outside the classifier itself.
Diffstat (limited to 'lib/canary.mli')
0 files changed, 0 insertions, 0 deletions