diff options
| author | Makarius Wenzel | 2000-05-17 15:36:05 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-05-17 15:36:05 +0000 |
| commit | be285b13d99b4c3aab73c06a532f739bcc398b0f (patch) | |
| tree | b68b818fe4b190620b62ee88d72b9db94302984d /isar/interface-setup.el | |
| parent | 5d285946d8d13d678c6c1f0e846f3dfc93fa417c (diff) | |
re-use isa/interface-setup.el rather than separate isar version;
Diffstat (limited to 'isar/interface-setup.el')
| -rw-r--r-- | isar/interface-setup.el | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/isar/interface-setup.el b/isar/interface-setup.el deleted file mode 100644 index 9fdaba2b..00000000 --- a/isar/interface-setup.el +++ /dev/null @@ -1,14 +0,0 @@ -;; -;; $Id$ -;; - -(customize-set-variable - 'isabelle-isar-prog-name - (concat (getenv "ISABELLE") " " (getenv "PROOFGENERAL_LOGIC"))) - -(let ((xsym (getenv "PROOFGENERAL_XSYMBOL"))) - (cond - ((equal xsym "true") - (customize-set-variable 'proof-x-symbol-enable t)) - ((equal xsym "false") - (customize-set-variable 'proof-x-symbol-enable nil)))) |