--- a/lib/scripts/isa-xterm Tue Jan 07 09:01:18 1997 +0100
+++ b/lib/scripts/isa-xterm Tue Jan 07 09:01:52 1997 +0100
@@ -18,9 +18,9 @@
if [ -z "$ISABELLE_SYMBOLS" -o "$ISABELLE_SYMBOLS" = false ]; then
exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS \
- -e $ISABELLE_HOME/bin/isabelle "$@"
+ -e $ISABELLE "$@"
else
- $ISABELLE_HOME/bin/isatool installfonts
+ $ISATOOL installfonts
exec xterm -T Isabelle -n Isabelle $ISABELLE_INTERFACE_OPTIONS -fn isacr14 \
-xrm "*fontMenu.Label: Isabelle fonts" \
-xrm "*fontMenu*font1*Label: Large" \
@@ -35,5 +35,5 @@
-xrm "*VT100*font5:" \
-xrm "*fontMenu*font6*Label:" \
-xrm "*VT100*font6:" \
- -e $ISABELLE_HOME/bin/isabelle -e 'print_mode:=["symbols"];' "$@"
+ -e $ISABELLE -e 'print_mode:=["symbols"];' "$@"
fi