diff options
Diffstat (limited to 'isa/interface-setup.el')
-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"))) |