From 94ae527750288fa561d1f81b9f8f1d982534a758 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 24 Jun 2002 09:41:40 +0000
Subject: Require x-symbol-vars as recommended for new version (works with old
 too?)

---
 generic/proof-x-symbol.el | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'generic')

diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el
index 1087ced5..e53dfd1a 100644
--- a/generic/proof-x-symbol.el
+++ b/generic/proof-x-symbol.el
@@ -72,6 +72,7 @@ The package is available at http://x-symbol.sourceforge.net/"))
 		  xs-feature)))
        (t
 	;; We've got everything we need!   So initialize.
+	(require 'x-symbol-vars)  ;; [new requirement to require this]
 	(let*
 	    ((xs-xtra-modes  proof-xsym-extra-modes)
 	     (xs-std-modes   (list
@@ -130,6 +131,10 @@ The package is available at http://x-symbol.sourceforge.net/"))
 ;	     (intern (concat (symbol-name mode) "-hook"))
 ;	     'proof-x-symbol-mode))
 	  ;; Font lock support is optional
+
+	  ;; FIXME: Isabelle wants this for sup/sub scripts
+	  ;; presently loads too early and extends in modedef
+	  ;; setups.  Want to adjust here.
 	  (if flks
 	      (put symmode 'font-lock-defaults (list flks)))
 	  ;;
-- 
cgit v1.2.3