changeset 3009 | 38c0b6dbd24f |
parent 2969 | 4c8d60b01ef9 |
child 3062 | be354f68d340 |
--- 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" ###