diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-08-28 12:01:44 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-28 12:01:44 +0000 |
commit | dbf8693c6fc055e4f125e1eec956afe4f25cca06 (patch) | |
tree | 23dba98aa44ddaa7fa4f21eee3b8e2e5b4b7b3b3 /isar/interface | |
parent | fdc93e295c67ca38d96277ee177a3743bcc2f3ab (diff) |
-w false implies -x false;
do not load proof-site.el here;
Diffstat (limited to 'isar/interface')
-rw-r--r-- | isar/interface | 2 |
1 files changed, 1 insertions, 1 deletions
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" |