From 8eabf3d0a47fce08eb1c33e43da3038a8631e33e Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Tue, 15 Feb 2000 18:50:06 +0000
Subject: fix electric-ignore (due to DvO);

---
 isar/x-symbol-isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar')

diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el
index 0981f5ac..3ce6fbb2 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 nil)
+(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