diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-07-01 19:33:52 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-07-01 19:33:52 +0000 |
| commit | 8d38911ba8cd2782d04256e4bf80f6cdc5ff3228 (patch) | |
| tree | b23c911ef36633c730d15129caa295f383df056a | |
| parent | a949f08421f654d25c6cf736e2e2b274e1a45fbd (diff) | |
isar-keywords-proof-asm;
| -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) |