diff options
| author | Makarius Wenzel | 2000-06-08 19:54:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-06-08 19:54:07 +0000 |
| commit | 346ec3e76142657569a233823ef6458ccc5c2be3 (patch) | |
| tree | 2d41e7cc6a3c95f6f987728ba62733c456695200 | |
| parent | 7c9810c7a262715e06a017ad2cedbdf62f4a7a14 (diff) | |
isar-keywords-proof-open/close;
| -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" |