diff options
| author | Makarius Wenzel | 2000-02-23 16:52:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-02-23 16:52:01 +0000 |
| commit | b8aad7d31109babb09af61e2fba229ca2b15ce82 (patch) | |
| tree | cdef4a4046be812408e726cff0d82ecf346838ed | |
| parent | 0a43ddd2a619ccb75bb3ae52e1c3846e346a5473 (diff) | |
tuned electric-ignore;
| -rw-r--r-- | isa/x-symbol-isa.el | 2 | ||||
| -rw-r--r-- | isar/x-symbol-isar.el | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/isa/x-symbol-isa.el b/isa/x-symbol-isa.el index 34b777b8..7cc8ef1e 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 "'[A-Za-z]\\|<=") +(defvar x-symbol-isa-electric-ignore "[:'][A-Za-z]\\|<=") (defvar x-symbol-isa-font-lock-keywords nil) (defvar x-symbol-isa-master-directory 'ignore) diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el index 3ce6fbb2..d8a679b4 100644 --- a/isar/x-symbol-isar.el +++ b/isar/x-symbol-isar.el @@ -22,7 +22,7 @@ '((VALID "Isabelle Symbol" (x-symbol-info-face)) (INVALID "no Isabelle Symbol" (red x-symbol-info-face)))) (defvar x-symbol-isar-class-face-alist nil) -(defvar x-symbol-isar-electric-ignore "'[A-Za-z]\\|<=") +(defvar x-symbol-isar-electric-ignore "[:'][A-Za-z]\\|<=") (defvar x-symbol-isar-font-lock-keywords nil) (defvar x-symbol-isar-master-directory 'ignore) |