;; interface-setup.el Interface wrapper for Isabelle Proof General
;;
;; This file is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 2, or (at your option)
;; any later version.
;;
;; Author: Markus Wenzel <wenzelm@in.tum.de>
;;
;; interface-setup.el,v 7.0 2002/08/29 09:14:03 da Exp
;;

;;
;; X-Symbol
;;

(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"))))


;;
;; Unicode
;;

(let ((unicode (getenv "PROOFGENERAL_UNICODE")))
  (if (and unicode (not (equal unicode "")))
      (customize-set-variable enable-var (equal unicode "true"))))

;;
;; Proof General
;;

(if (not (featurep 'proof-site))
    (load (concat (getenv "PROOFGENERAL_HOME") "/generic/proof-site.el")))