diff options
| author | David Aspinall | 2006-12-05 12:49:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-12-05 12:49:56 +0000 |
| commit | 7077e2e8fed4a52af4894954c8446781cb5d40d6 (patch) | |
| tree | 023224bae2e0e278d99e94bba2f0d3fe98984495 /isa/interface-setup.el | |
| parent | 1ea338cca92204c9a98a373adb80ab60c3a10107 (diff) | |
Deleted file
Diffstat (limited to 'isa/interface-setup.el')
| -rw-r--r-- | isa/interface-setup.el | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el deleted file mode 100644 index 16c167cc..00000000 --- a/isa/interface-setup.el +++ /dev/null @@ -1,43 +0,0 @@ -;; 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 <wenzelm@in.tum.de> -;; -;; interface-setup.el,v 7.0 2002/08/29 09:14:03 da Exp -;; - -;; -;; X-Symbol -;; - -(let ((xsymbol (getenv "PROOFGENERAL_XSYMBOL")) - (enable-var (if (equal (getenv "PROOFGENERAL_ASSISTANTS") "isa") - 'isa-x-symbol-enable 'isar-x-symbol-enable))) - - ;; avoid confusing warning message - (if (not (boundp 'x-symbol-image-converter)) - (customize-set-variable 'x-symbol-image-converter nil)) - - ;; tell Proof General about -x option - (if (and xsymbol (not (equal xsymbol ""))) - (customize-set-variable enable-var (equal xsymbol "true")))) - - -;; -;; Unicode -;; - -(let ((unicode (getenv "PROOFGENERAL_UNICODE"))) - (if (and unicode (not (equal unicode ""))) - (customize-set-variable 'proof-shell-unicode (equal unicode "true")))) - -;; -;; Proof General -;; - -(if (not (featurep 'proof-site)) - (load (concat (getenv "PROOFGENERAL_HOME") "/generic/proof-site.el"))) |