diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2009-11-21 19:36:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2009-11-21 19:36:07 +0000 |
| commit | 37de2996da5255159703148363b31d001a301300 (patch) | |
| tree | 29e210b637af050b97f73253f71afce46481aedb /isar/interface-setup.el | |
| parent | 7e3a6a9ade7bbde17ba15c13764ecbe019d356ca (diff) | |
more robust THIS/SUPER: allow spaces;
modernized usage, eliminated obsolete options -I, -P, -X, -f;
re-interpreted option -x as "unicode symbols";
Diffstat (limited to 'isar/interface-setup.el')
| -rw-r--r-- | isar/interface-setup.el | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/isar/interface-setup.el b/isar/interface-setup.el index effb3541..b2619800 100644 --- a/isar/interface-setup.el +++ b/isar/interface-setup.el @@ -11,16 +11,6 @@ ;; ;; -;; X-Symbol -- backwards compatibility -;; - -(let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL"))) - - ;; tell Proof General about -x option - (if (and xsymbol (not (equal xsymbol ""))) - (customize-set-variable 'isar-unicode-tokens-enable (equal xsymbol "true")))) - -;; ;; Unicode ;; @@ -29,7 +19,15 @@ (customize-set-variable 'proof-shell-unicode (equal unicode "true")))) ;; -;; Proof General +;; Unicode symbols +;; + +(let ((symbols (getenv "PROOFGENERAL_UNICODE_SYMBOLS"))) + (if (and symbols (not (equal symbols ""))) + (customize-set-variable 'isar-unicode-tokens-enable (equal symbols "true")))) + +;; +;; Proof General startup ;; (if (not (featurep 'proof-site)) |