From e513f14c6b12589cae2ebb9557a920900eb7900a Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 3 Aug 2000 16:52:09 +0000
Subject: x-symbol-isabelle-electric-ignore: include [[ ]];

---
 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 1822b673..81d20bb6 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