From 7dae4db68c30e64f43a6b60de088ef080ddaa2ff Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 28 Dec 2000 17:46:17 +0000
Subject: x-symbol-isabelle-match-subscript: check (proof-ass x-symbol-enable);

---
 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 9949c5be..aaa8ed17 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -43,7 +43,7 @@
   "Match and skip over super- and subscripts.
 Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
 `x-symbol-isabelle-font-lock-regexp'."
-  (and x-symbol-mode ;x-symbol-subscripts (FIXME need proper default for)
+  (and (proof-ass x-symbol-enable)
        (or (proof-looking-at x-symbol-isabelle-font-lock-regexp)
 	   (proof-re-search-forward x-symbol-isabelle-font-lock-regexp limit t))))
 
-- 
cgit v1.2.3