Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/scripts/isa-xterm
changeset 2743 b001ec2b56e1
parent 2713 7231c1e89706
child 2770 5a3224f488db 
--- 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
isabelle