--- a/lib/scripts/isa-xterm Fri Mar 07 09:42:26 1997 +0100
+++ b/lib/scripts/isa-xterm Fri Mar 07 09:43:05 1997 +0100
@@ -67,20 +67,19 @@
exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@"
else
$ISATOOL installfonts
- exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isacr14 \
- -xrm "*fontMenu.Label: Isabelle fonts" \
- -xrm "*fontMenu*font1*Label: Large" \
- -xrm "*VT100*font1: isacb24" \
- -xrm "*fontMenu*font2*Label:" \
- -xrm "*VT100*font2:" \
- -xrm "*fontMenu*font3*Label:" \
- -xrm "*VT100*font3:" \
- -xrm "*fontMenu*font4*Label:" \
- -xrm "*VT100*font4:" \
- -xrm "*fontMenu*font5*Label:" \
- -xrm "*VT100*font5:" \
- -xrm "*fontMenu*font6*Label:" \
- -xrm "*VT100*font6:" \
- -e $ISABELLE -m symbols $PASS "$@"
- fi
+ exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isacr14 \
+ -xrm "*fontMenu.Label: Isabelle fonts" \
+ -xrm "*fontMenu*font1*Label: Large" \
+ -xrm "*VT100*font1: isacb24" \
+ -xrm "*fontMenu*font2*Label:" \
+ -xrm "*VT100*font2:" \
+ -xrm "*fontMenu*font3*Label:" \
+ -xrm "*VT100*font3:" \
+ -xrm "*fontMenu*font4*Label:" \
+ -xrm "*VT100*font4:" \
+ -xrm "*fontMenu*font5*Label:" \
+ -xrm "*VT100*font5:" \
+ -xrm "*fontMenu*font6*Label:" \
+ -xrm "*VT100*font6:" \
+ -e $ISABELLE -m symbols $PASS "$@"
fi