From 537a15a5c29d7a9fe24d5f7f3b3b1348361a85b2 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Wed, 9 Aug 2000 22:37:27 +0000 Subject: smart setup of X-Symbol mode; --- isa/interface-setup.el | 38 ++++++++++++++++++++++++++++++++------ 1 file changed, 32 insertions(+), 6 deletions(-) diff --git a/isa/interface-setup.el b/isa/interface-setup.el index d6646fd4..aa8f344d 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -1,11 +1,37 @@ +;; 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 ;; ;; $Id$ ;; -(let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL"))) - (if (and xsymbol (not (equal xsymbol ""))) - (customize-set-variable +;;; +;;; X-Symbol mode +;;; + +(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) - (equal xsymbol "true")))) + 'isa-x-symbol-enable 'isar-x-symbol-enable))) + ;; setup the x-symbol package, if not already present + (if (and 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)) + (setq load-path + (cons (expand-file-name "lisp/x-symbol" xsymbol-home) load-path)) + (if (boundp 'data-directory-list) + (setq data-directory-list + (cons (expand-file-name "etc/" xsymbol-home) data-directory-list))) + (require 'x-symbol-hooks) + (x-symbol-initialize))) + ;; tell Proof General about -x option + (if (and xsymbol (not (equal xsymbol ""))) + (customize-set-variable enable-var (equal xsymbol "true")))) -- cgit v1.2.3