diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-08-03 16:52:09 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-03 16:52:09 +0000 |
commit | e513f14c6b12589cae2ebb9557a920900eb7900a (patch) | |
tree | 05671a302c33f9936596ab84da2170c25986df59 | |
parent | 05369d6fea569e81da8b1af708f9241b5ac74287 (diff) |
x-symbol-isabelle-electric-ignore: include [[ ]];
-rw-r--r-- | isa/x-symbol-isabelle.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |