# HG changeset patch
# User wenzelm
# Date 861702595 -7200
# Node ID 38c0b6dbd24f22998c92b235b701e2b7f409e51d
# Parent  0a887d5b6718d00415c84182ab25a85d38e07ee1
improved fontserver example;

diff -r 0a887d5b6718 -r 38c0b6dbd24f etc/settings
--- 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"
 
 
 ###