diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 15:30:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-18 15:30:21 +0000 |
| commit | e154c1151727bd20511aeb5a18ddbbb71d980ee6 (patch) | |
| tree | d15f40430ef94bb46dcc78414ee581af4c244eca /isa | |
| parent | 6f577f7a76aae1d0ff1100ec905c84c04a6ff47b (diff) | |
Fix sub/sups; defer loading x-symbol-isabelle.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isabelle-system.el | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index 5faf6928..5199887b 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -383,9 +383,6 @@ until Proof General is restarted." (defpgdefault x-symbol-language 'isabelle) -(setq proof-xsym-font-lock-keywords - ;; fontification for tokens themselves (FIXME: broken) - '(("\\\\<[A-Za-z][A-Za-z0-9_']*>" (0 font-lock-type-face)))) (eval-after-load "x-symbol-isabelle" ;; Add x-symbol tokens to isa-completion-table and rebuild @@ -395,13 +392,11 @@ until Proof General is restarted." (append (proof-ass completion-table) (mapcar (lambda (xsym) (nth 2 xsym)) x-symbol-isabelle-table))) + (setq proof-xsym-font-lock-keywords + x-symbol-isabelle-font-lock-keywords) (if (featurep 'completion) (proof-add-completions)))) -;; FIXME: next setting is made properly in x-symbol-isabelle.el, -;; but added here to avoid loading that file too early. - -(defvar x-symbol-isabelle-font-lock-keywords nil) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |