diff options
| author | Makarius Wenzel | 2000-02-15 18:50:06 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-02-15 18:50:06 +0000 |
| commit | 8eabf3d0a47fce08eb1c33e43da3038a8631e33e (patch) | |
| tree | 8a6a88ef0661c653c7c08fe45866fee7857d356b /isa | |
| parent | d7166d06af77d91ef9eed7a2130ed2b41cac9930 (diff) | |
fix electric-ignore (due to DvO);
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/x-symbol-isa.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el index 14601493..34b777b8 100644 --- a/isa/x-symbol-isa.el +++ b/isa/x-symbol-isa.el @@ -26,7 +26,7 @@ '((VALID "Isabelle Symbol" (x-symbol-info-face)) (INVALID "no Isabelle Symbol" (red x-symbol-info-face)))) (defvar x-symbol-isa-class-face-alist nil) -(defvar x-symbol-isa-electric-ignore nil) +(defvar x-symbol-isa-electric-ignore "'[A-Za-z]\\|<=") (defvar x-symbol-isa-font-lock-keywords nil) (defvar x-symbol-isa-master-directory 'ignore) |