diff options
| author | David Aspinall | 1999-11-11 15:33:44 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-11 15:33:44 +0000 |
| commit | ee53106260209cd41f6eb014458f8ec37664453d (patch) | |
| tree | cd80b5add06983da3d46707dbf04600bc5b10578 /isa | |
| parent | d629e1c6c2363024c9318c6daf1a8456cceb1a61 (diff) | |
Next round of fixups for font-lock and x-symbol.
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/isa-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/isa-syntax.el b/isa/isa-syntax.el index 767df53a..c18ea0a7 100644 --- a/isa/isa-syntax.el +++ b/isa/isa-syntax.el @@ -297,7 +297,7 @@ (cons (concat "\353\\?'" isa-idx "\350") 'isabelle-tvar-name-face) (cons (concat "\354" isa-id "\350") 'isabelle-free-name-face) (cons (concat "\355" isa-id "\350") 'isabelle-bound-name-face) - (cons (concat "\356" "\\?" isa-idx "\350") 'isabelle-var-name-face) + (cons (concat "\356\\?" isa-idx "\350") 'isabelle-var-name-face) (cons (concat "\357" isa-idx "\350") 'proof-declaration-name-face) ) "*Font-lock table for Isabelle terms.") |