diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-08-16 15:32:02 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-16 15:32:02 +0000 |
commit | 5ca836cb2f13b549eb90aceb26d8366ca631a9be (patch) | |
tree | 0847a31a84d532cba875377db6bff0db66d54317 /isar | |
parent | 36d34a997778a7b17311fb81ed0d18cd9a9324b9 (diff) |
isar-keywords-proof-improper;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar-syntax.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 937d0ba1..ec038128 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -83,8 +83,9 @@ (append isar-keywords-proof-goal isar-keywords-proof-asm-goal)) -(defconst isar-keywords-proof-improper - (append isar-keywords-proof-script +(defconst isar-keywords-improper + (append isar-keywords-theory-script + isar-keywords-proof-script isar-keywords-qed-global)) (defconst isar-keywords-outline-1 @@ -102,6 +103,7 @@ (append isar-keywords-theory-begin isar-keywords-theory-heading isar-keywords-theory-decl + isar-keywords-theory-script isar-keywords-theory-goal)) (defconst isar-keywords-indent-open @@ -249,7 +251,7 @@ (cons (isar-ids-to-regexp isar-keywords-proof-enclose) 'font-lock-preprocessor-face) (cons (isar-ids-to-regexp isar-keywords-proof) 'font-lock-keyword-face) (cons (isar-ids-to-regexp isar-keywords-proof-context) 'proof-declaration-name-face) - (cons (isar-ids-to-regexp isar-keywords-proof-improper) 'font-lock-reference-face) + (cons (isar-ids-to-regexp isar-keywords-improper) 'font-lock-reference-face) (cons isar-tac-regexp 'font-lock-reference-face))) (defvar isar-output-font-lock-keywords-1 |