diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-09-14 16:40:03 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-14 16:40:03 +0000 |
| commit | b92c8cc349554dd181f2eba61639b9045ef66db7 (patch) | |
| tree | 3c60a378694bdee538c42672068da3f819eed8b3 /isa | |
| parent | 9322b1f308cb809a762d6e35f88053145df823ff (diff) | |
x-symbol-isabelle-electric-ignore: "~=";
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el index 191eca8c..a355e9bf 100644 --- a/isa/x-symbol-isabelle.el +++ b/isa/x-symbol-isabelle.el @@ -29,7 +29,7 @@ '((VALID "Isabelle Symbol" (x-symbol-info-face)) (INVALID "no Isabelle Symbol" (red x-symbol-info-face)))) (defvar x-symbol-isabelle-class-face-alist nil) -(defvar x-symbol-isabelle-electric-ignore "[:'][A-Za-z]\\|<=\\|\\[\\[\\|\\]\\]") +(defvar x-symbol-isabelle-electric-ignore "[:'][A-Za-z]\\|<=\\|\\[\\[\\|\\]\\]\\|~=") (defvar x-symbol-isabelle-font-lock-keywords nil) (defvar x-symbol-isabelle-master-directory 'ignore) |