improved fontserver example;
authorwenzelm
Tue Apr 22 11:49:55 1997 +0200 (1997-04-22)
changeset 300938c0b6dbd24f
parent 3008 0a887d5b6718
child 3010 4be22c300966
improved fontserver example;
etc/settings
     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  ###