From bf211c52fd8fa79c8733fdaf1a127564c33a9829 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 24 Jan 2008 23:56:45 +0000
Subject: Remove use of proof-ass

---
 isar/x-symbol-isar.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isar')

diff --git a/isar/x-symbol-isar.el b/isar/x-symbol-isar.el
index d7ec9196..6a8a8fbf 100644
--- a/isar/x-symbol-isar.el
+++ b/isar/x-symbol-isar.el
@@ -156,7 +156,7 @@ or subscript tag."
 	      (return script-type))))))))
    
 (defun isabelle-match-subscript (limit)
-  (if (proof-ass x-symbol-enable)
+  (if isar-x-symbol-enable
       (setq x-symbol-isar-subscript-type
             (funcall x-symbol-isar-subscript-matcher limit))))
 
@@ -478,7 +478,7 @@ See `x-symbol-language-access-alist' for details."
 ;;
 ;; this is MODE-ON CODING 8BITS UNIQUE SUBSCRIPTS IMAGE
 (defcustom x-symbol-isar-auto-style
-  '((proof-ass x-symbol-enable)	 ; MODE-ON: whether to turn on interactively
+  '(isar-x-symbol-enable	   ; MODE-ON: whether to turn on interactively
     nil   ;; x-symbol-coding
     'null ;; x-symbol-8bits	   [NEVER want it; null disables search]
     nil   ;; x-symbol-unique
-- 
cgit v1.2.3