diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-08-28 12:02:05 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-28 12:02:05 +0000 |
| commit | 46c47d6b595ebd6ea1bc6674c7883a7c40827633 (patch) | |
| tree | ba754a27d7490bd7de7f2852f2922de2d2bf980c /isa | |
| parent | dbf8693c6fc055e4f125e1eec956afe4f25cca06 (diff) | |
conditional load of proof-site.el;
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/interface-setup.el | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el index accf8d81..b6c6987f 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -11,7 +11,7 @@ ;; ;;; -;;; X-Symbol mode +;;; X-Symbol ;;; (let ((xsymbol-home (getenv "XSYMBOL_HOME")) @@ -32,3 +32,11 @@ ;; 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"))) |