diff options
-rw-r--r-- | isar/isar-keywords.el | 11 | ||||
-rw-r--r-- | isar/isar-syntax.el | 2 |
2 files changed, 9 insertions, 4 deletions
diff --git a/isar/isar-keywords.el b/isar/isar-keywords.el index 0f51563d..1ed25826 100644 --- a/isar/isar-keywords.el +++ b/isar/isar-keywords.el @@ -145,14 +145,17 @@ (defconst isar-keywords-proof-chain '("finally" "from" - "then")) + "then" + "with")) (defconst isar-keywords-proof-decl '("also" - "assume" - "fix" "let" - "note" + "note")) + +(defconst isar-keywords-proof-asm + '("assume" + "fix" "presume")) (defconst isar-keywords-proof-script diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index c6da5caf..64eb05ae 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -67,6 +67,7 @@ isar-keywords-theory-decl isar-keywords-proof-block isar-keywords-proof-decl + isar-keywords-proof-asm isar-keywords-proof-script)) (defconst isar-keywords-indent-open @@ -133,6 +134,7 @@ (cons (proof-ids-to-regexp isar-keywords-theory) 'font-lock-keyword-face) (cons (proof-ids-to-regexp isar-keywords-proof-enclose) 'font-lock-function-name-face) (cons (proof-ids-to-regexp isar-keywords-proof) 'font-lock-keyword-face) + (cons (proof-ids-to-regexp isar-keywords-proof-asm) 'proof-declaration-name-face) (cons (proof-ids-to-regexp isar-keywords-proof-script) 'font-lock-reference-face)))) (provide 'isar-syntax) |