diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2005-08-26 21:50:12 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2005-08-26 21:50:12 +0000 |
| commit | 573fa23c9a08eb0a0e9e9b2573363f86339166e5 (patch) | |
| tree | 04c96aaa5327f12b659b5912e83d2e74ef76e2f6 | |
| parent | 0255aae918270af97725b296f9478ee1918bb3a9 (diff) | |
added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);
| -rw-r--r-- | isar/isar-syntax.el | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 16b7849b..3fb71556 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -336,6 +336,11 @@ matches contents of quotes for quoted identifiers.") (defconst isabelle-bound-name-face 'isabelle-bound-name-face) (defconst isabelle-var-name-face 'isabelle-var-name-face) +(defconst isar-font-lock-local + '("\\(\\\\<\\^loc>\\)\\(\\\\+<[A-Za-z]+>\\|.\\)" + (1 x-symbol-invisible-face t) + (2 proof-declaration-name-face prepend))) + (defvar isar-font-lock-keywords-1 (list (cons (isar-ids-to-regexp isar-keywords-minor) 'font-lock-type-face) @@ -348,7 +353,8 @@ matches contents of quotes for quoted identifiers.") (cons (isar-ids-to-regexp isar-keywords-proof-context) 'proof-declaration-name-face) (cons (isar-ids-to-regexp isar-keywords-improper) 'font-lock-reference-face) (cons isar-improper-regexp 'font-lock-reference-face) - (cons isar-antiq-regexp '(0 'font-lock-variable-name-face t)))) + (cons isar-antiq-regexp '(0 'font-lock-variable-name-face t)) + isar-font-lock-local)) (defvar isar-output-font-lock-keywords-1 (list @@ -361,7 +367,8 @@ matches contents of quotes for quoted identifiers.") (cons (concat "\356" isar-idx "\350") 'isabelle-var-name-face) (cons (concat "\356\\?" isar-idx "\350") 'isabelle-var-name-face) (cons (concat "\357" isar-id "\350") 'proof-declaration-name-face) - (cons (concat "\357\\?" isar-idx "\350") 'proof-declaration-name-face)) + (cons (concat "\357\\?" isar-idx "\350") 'proof-declaration-name-face) + isar-font-lock-local) "*Font-lock table for Isabelle terms.") (defvar isar-goals-font-lock-keywords |