diff options
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" |