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 6277 6e64b1cc76f8
parent 5965 f91212fd2c7c
child 6344 9442bc6763f7 
--- a/lib/scripts/isa-xterm	Thu Feb 11 21:18:56 1999 +0100
+++ b/lib/scripts/isa-xterm	Thu Feb 11 21:19:56 1999 +0100
@@ -101,5 +101,5 @@
     -xrm "*VT100*font5:" \
     -xrm "*fontMenu*font6*Label:" \
     -xrm "*VT100*font6:" \
-    -e $ISABELLE -m symbols $PASS "$@"
+    -e $ISABELLE -m isabelle_font -m symbols $PASS "$@"
 fi
isabelle