diff options
Diffstat (limited to 'isar/isar-syntax.el')
-rw-r--r-- | isar/isar-syntax.el | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 0bc279f3..487a1bdc 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -13,7 +13,6 @@ (require 'proof-syntax) (require 'isar-keywords) - ;; ----- character syntax (defconst isar-script-syntax-table-entries @@ -467,6 +466,14 @@ matches contents of quotes for quoted identifiers.") (defun isar-cannot-undo (cmd) (concat "cannot_undo \"" cmd "\";")) +(defconst isar-undo-commands + (list + isar-linear-undo + isar-undo + "init_toplevel" "kill_thy" + "undos_proof" + "cannot_undo")) + (defconst isar-theory-start-regexp (proof-anchor-regexp (isar-ids-to-regexp |