# HG changeset patch
# User wenzelm
# Date 857724185 -3600
# Node ID b001ec2b56e157a31bb272ac648784b767d264c6
# Parent  b70d7b032e626d872628c6ff6d76700646b5ea10
tuned;

diff -r b70d7b032e62 -r b001ec2b56e1 lib/scripts/isa-xterm
--- 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