diff options
Diffstat (limited to 'isa/interface-setup.el')
| -rw-r--r-- | isa/interface-setup.el | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el new file mode 100644 index 00000000..2ed504cb --- /dev/null +++ b/isa/interface-setup.el @@ -0,0 +1,48 @@ +;; 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> +;; +;; $Id$ +;; + +;;; +;;; 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"))))) + + +;; +;; Proof General +;; + +(if (not (featurep 'proof-site)) + (load (concat (getenv "PROOFGENERAL_HOME") "/generic/proof-site.el"))) |