From b8aad7d31109babb09af61e2fba229ca2b15ce82 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 23 Feb 2000 16:52:01 +0000
Subject: tuned electric-ignore;

---
 isa/x-symbol-isa.el   | 2 +-
 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)
-- 
cgit v1.2.3