diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/x-symbol-isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |