From dbf8693c6fc055e4f125e1eec956afe4f25cca06 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Mon, 28 Aug 2000 12:01:44 +0000
Subject: -w false implies -x false; do not load proof-site.el here;

---
 isar/interface | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'isar/interface')

diff --git a/isar/interface b/isar/interface
index 1247b935..544bad76 100644
--- a/isar/interface
+++ b/isar/interface
@@ -101,11 +101,11 @@ if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then
   ARGS="$ARGS -T Isabelle"
 else
   ARGS="$ARGS -nw"
+  XSYMBOL=false
 fi
 
 
 ARGS="$ARGS -l $PROOFGENERAL_HOME/isa/interface-setup.el"
-ARGS="$ARGS -l $PROOFGENERAL_HOME/generic/proof-site.el"
 
 for FILE in "$ISABELLE_HOME/etc/proofgeneral-settings.el" \
     "$ISABELLE_HOME_USER/etc/proofgeneral-settings.el"
-- 
cgit v1.2.3