diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2010-12-08 20:45:44 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2010-12-08 20:45:44 +0000 |
| commit | ccf5a73bb63641ad12c25b607db2be0cbd95bf77 (patch) | |
| tree | 84239390e61f782ab1ddb3be9286228ebf08fbf6 /isar | |
| parent | 83aeac983ae37d7db34389bc42c4127aa97f4800 (diff) | |
some attempts to indent 'notepad' 'begin' ... 'end' like a proof body;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 4d9cba4b..05a2a3ac 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -142,16 +142,19 @@ This list is in the right format for proof-easy-config.") (append isar-keywords-theory-goal isar-keywords-proof-goal isar-keywords-proof-asm-goal - isar-keywords-proof-open)) + isar-keywords-proof-open + '("notepad"))) (defconst isar-keywords-indent-close (append isar-keywords-save - isar-keywords-proof-close)) + isar-keywords-proof-close + isar-keywords-theory-end)) (defconst isar-keywords-indent-enclose (append isar-keywords-proof-block isar-keywords-proof-close isar-keywords-qed-block + isar-keywords-theory-end (list isar-keyword-begin))) |