diff options
-rw-r--r-- | isa/interface | 2 | ||||
-rw-r--r-- | isar/interface | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/isa/interface b/isa/interface index 24e48753..afd77142 100644 --- a/isa/interface +++ b/isa/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" 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" |