diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-08-10 11:56:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-08-10 11:56:19 +0000 |
| commit | e82b526df20a7b651fd219ab2ac534c4bfbba5f7 (patch) | |
| tree | f61f93753662a32cd778afbf284644aa6d75235a /isar | |
| parent | 705c9ee7591f3ef37117560417d8c7a55e1b257d (diff) | |
Change syntax table for \ from word constituent to escape character.
Add output-font-lock-keywords for tvars and vars without ?'s
(probably redundant without low-level output mode change: pending).
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-syntax.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/isar/isar-syntax.el b/isar/isar-syntax.el index 1fe541a6..398af5ce 100644 --- a/isar/isar-syntax.el +++ b/isar/isar-syntax.el @@ -18,7 +18,8 @@ (defconst isar-script-syntax-table-entries (append '(?\$ "." ?\/ "." - ?\\ "w" + ;; 10.8.04: changed from ?\\ "w" + ?\\ "\\" ?+ "." ?- "." ?= "." @@ -351,9 +352,11 @@ matches contents of quotes for quoted identifiers.") (list (cons (concat "\351" isar-long-id-stuff "\350") 'isabelle-class-name-face) (cons (concat "\352'" isar-id "\350") 'isabelle-tfree-name-face) + (cons (concat "\353'" isar-idx "\350") 'isabelle-tvar-name-face) (cons (concat "\353\\?'" isar-idx "\350") 'isabelle-tvar-name-face) (cons (concat "\354" isar-id "\350") 'isabelle-free-name-face) (cons (concat "\355" isar-id "\350") 'isabelle-bound-name-face) + (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)) |