Updated by Gerwin to remove some X-Symbol loading

1 files changed, 12 insertions, 25 deletions

diff --git a/isa/interface-setup.el b/isa/interface-setup.el
index 2ed504cb..62a05dd6 100644
--- a/isa/interface-setup.el
+++ b/isa/interface-setup.el
@@ -7,37 +7,24 @@
 ;;
 ;; Author: Markus Wenzel <wenzelm@in.tum.de>
 ;;
-;; $Id$
+;; interface-setup.el,v 7.0 2002/08/29 09:14:03 da Exp
 ;;
 
 ;;;
 ;;; X-Symbol
 ;;;
 
-(if (string-match "XEmacs" emacs-version)       ;current X-Symbol works with XEmacs only!
-    (let ((xsymbol-home (getenv "XSYMBOL_HOME"))
-          (xsymbol (getenv "PROOFGENERAL_XSYMBOL"))
-          (enable-var
-           (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa")
-               'isa-x-symbol-enable 'isar-x-symbol-enable)))
-      ;; setup the x-symbol package, if not already present
-      (if (and xsymbol-home
-               (not (equal xsymbol-home ""))
-               (not (fboundp 'x-symbol-initialize))
-               (not (get 'x-symbol 'x-symbol-initialized)))
-          (progn
-            (load (expand-file-name "lisp/x-symbol/auto-autoloads" xsymbol-home))
-            (push (expand-file-name "lisp/x-symbol" xsymbol-home) load-path)
-            (if (boundp 'data-directory-list)
-                (push (expand-file-name "etc/" xsymbol-home) data-directory-list))
-            (if (boundp 'Info-directory-list)
-                (push (expand-file-name "info/" xsymbol-home) Info-directory-list))
-            (if (not (boundp 'x-symbol-image-converter))     ;avoid confusing warning message
-                (customize-set-variable 'x-symbol-image-converter nil))
-            (x-symbol-initialize)))
-      ;; tell Proof General about -x option
-      (if (and xsymbol (not (equal xsymbol "")))
-          (customize-set-variable enable-var (equal xsymbol "true")))))
+(let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL"))
+      (enable-var (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa")
+                      'isa-x-symbol-enable 'isar-x-symbol-enable)))
+
+  ;; avoid confusing warning message
+  (if (not (boundp 'x-symbol-image-converter))     
+      (customize-set-variable 'x-symbol-image-converter nil))
+  
+  ;; tell Proof General about -x option
+  (if (and xsymbol (not (equal xsymbol "")))
+      (customize-set-variable enable-var (equal xsymbol "true"))))
 
 
 ;;