From 7077e2e8fed4a52af4894954c8446781cb5d40d6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 5 Dec 2006 12:49:56 +0000 Subject: Deleted file --- isa/interface-setup.el | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 isa/interface-setup.el (limited to 'isa/interface-setup.el') 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 -;; -;; 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"))) -- cgit v1.2.3