From b92c8cc349554dd181f2eba61639b9045ef66db7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 14 Sep 2000 16:40:03 +0000
Subject: x-symbol-isabelle-electric-ignore: "~=";

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

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index 191eca8c..a355e9bf 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -29,7 +29,7 @@
   '((VALID "Isabelle Symbol" (x-symbol-info-face))
     (INVALID "no Isabelle Symbol" (red x-symbol-info-face))))
 (defvar x-symbol-isabelle-class-face-alist nil)
-(defvar x-symbol-isabelle-electric-ignore "[:'][A-Za-z]\\|<=\\|\\[\\[\\|\\]\\]")
+(defvar x-symbol-isabelle-electric-ignore "[:'][A-Za-z]\\|<=\\|\\[\\[\\|\\]\\]\\|~=")
 
 (defvar x-symbol-isabelle-font-lock-keywords nil)
 (defvar x-symbol-isabelle-master-directory  'ignore)
-- 
cgit v1.2.3