Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
renamed font;
authorwenzelm
Fri, 07 Mar 1997 15:33:53 +0100
changeset 2770 5a3224f488db
parent 2769 77903c147673
child 2771 9c85894d223d
renamed font;
lib/scripts/isa-xterm file | annotate | diff | comparison | revisions 
--- a/lib/scripts/isa-xterm	Fri Mar 07 15:32:16 1997 +0100
+++ b/lib/scripts/isa-xterm	Fri Mar 07 15:33:53 1997 +0100
@@ -67,10 +67,10 @@
   exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@"
 else
   $ISATOOL installfonts
-  exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isacr14 \
+  exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isabelle14 \
     -xrm "*fontMenu.Label: Isabelle fonts" \
     -xrm "*fontMenu*font1*Label: Large" \
-    -xrm "*VT100*font1: isacb24" \
+    -xrm "*VT100*font1: isabelle24" \
     -xrm "*fontMenu*font2*Label:" \
     -xrm "*VT100*font2:" \
     -xrm "*fontMenu*font3*Label:" \
isabelle