diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2006-10-11 20:06:18 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2006-10-11 20:06:18 +0000 |
| commit | 99527585d02e4470ba70497973e074bb4a4b6b77 (patch) | |
| tree | 5ed17a5ee2c4088645cdc5cef7f7d74869b752c5 /isar | |
| parent | 5c75af0dd3d5341a3e3d93818bf61a015727392e (diff) | |
isar-keywords-indent-enclose: include "begin" keyword;
removed obsolete kill/undo-kill-regexp;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index e990c0fe..19d95716 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -153,7 +153,8 @@ This list is in the right format for proof-easy-config.") (defconst isar-keywords-indent-enclose (append isar-keywords-proof-block isar-keywords-proof-close - isar-keywords-qed-block)) + isar-keywords-qed-block + '("begin"))) ;; ----- regular expressions @@ -416,7 +417,6 @@ matches contents of quotes for quoted identifiers.") ;; ----- variations on undo (defconst isar-undo "ProofGeneral.undo;") ;; no output undo -(defconst isar-kill "kill;") (defun isar-remove (name) (concat "init_toplevel; kill_thy " name ";")) @@ -456,9 +456,6 @@ matches contents of quotes for quoted identifiers.") (proof-anchor-regexp (isar-ids-to-regexp isar-keywords-theory-begin)) isar-name-regexp)) -(defconst isar-undo-kill-regexp - (proof-anchor-regexp (isar-ids-to-regexp isar-keywords-theory-switch))) - ;; ----- function-menu and imenu |