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.
improved fontserver example;
authorwenzelm
Tue, 22 Apr 1997 11:49:55 +0200
changeset 3009 38c0b6dbd24f
parent 3008 0a887d5b6718
child 3010 4be22c300966
improved fontserver example;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Apr 22 11:45:22 1997 +0200
+++ b/etc/settings	Tue Apr 22 11:49:55 1997 +0200
@@ -80,7 +80,7 @@
 
 # How to install the isabelle X11 fonts (can be tricky!).
 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
-#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100"
+#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
 
 
 ###
isabelle