diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-06-08 19:54:07 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-06-08 19:54:07 +0000 |
commit | 346ec3e76142657569a233823ef6458ccc5c2be3 (patch) | |
tree | 2d41e7cc6a3c95f6f987728ba62733c456695200 /isar/isar-keywords.el | |
parent | 7c9810c7a262715e06a017ad2cedbdf62f4a7a14 (diff) |
isar-keywords-proof-open/close;
Diffstat (limited to 'isar/isar-keywords.el')
-rw-r--r-- | isar/isar-keywords.el | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index f2d180a1..23c7e789 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -150,8 +150,7 @@ "welcome" "with" "{" - "}" - )) + "}")) (defconst isar-keywords-minor '("and" @@ -314,9 +313,13 @@ (defconst isar-keywords-proof-block '("next" - "proof" - "{" - "}")) + "proof")) + +(defconst isar-keywords-proof-open + '("{")) + +(defconst isar-keywords-proof-close + '("}")) (defconst isar-keywords-proof-chain '("finally" |