diff options
| author | Makarius Wenzel | 2005-09-14 19:11:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-14 19:11:46 +0000 |
| commit | d1f290c8bbe72b5d4a50733e961806fa286b7f6d (patch) | |
| tree | b04de42e3d511337579407e7acbae66feb4161cc | |
| parent | 2751ceb769c4447c7ffc29207a2011bb928285a4 (diff) | |
observe PROOFGENERAL_UNICODE as passed by interface script;
| -rw-r--r-- | isa/interface-setup.el | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el index 62a05dd6..e9dddb31 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -10,9 +10,9 @@ ;; interface-setup.el,v 7.0 2002/08/29 09:14:03 da Exp ;; -;;; -;;; X-Symbol -;;; +;; +;; X-Symbol +;; (let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL")) (enable-var (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa") @@ -28,6 +28,14 @@ ;; +;; Unicode +;; + +(let ((unicode (getenv "PROOFGENERAL_UNICODE"))) + (if (and unicode (not (equal unicode ""))) + (customize-set-variable enable-var (equal unicode "true")))) + +;; ;; Proof General ;; |