author | wenzelm |
Tue, 22 Apr 1997 11:49:55 +0200 | |
changeset 3009 | 38c0b6dbd24f |
parent 3008 | 0a887d5b6718 |
child 3010 | 4be22c300966 |
etc/settings | file | annotate | diff | comparison | revisions |
1.1 --- a/etc/settings Tue Apr 22 11:45:22 1997 +0200 1.2 +++ b/etc/settings Tue Apr 22 11:49:55 1997 +0200 1.3 @@ -80,7 +80,7 @@ 1.4 1.5 # How to install the isabelle X11 fonts (can be tricky!). 1.6 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash" 1.7 -#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100" 1.8 +#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" 1.9 1.10 1.11 ###