added Cambridge fs;
authorwenzelm
Mon Sep 22 17:37:24 1997 +0200 (1997-09-22)
changeset 36956967a42a8496
parent 3694 fe7b812837ad
child 3696 e2af92a3281b
added Cambridge fs;
doc-src/System/fonts.tex
     1.1 --- a/doc-src/System/fonts.tex	Mon Sep 22 17:37:03 1997 +0200
     1.2 +++ b/doc-src/System/fonts.tex	Mon Sep 22 17:37:24 1997 +0200
     1.3 @@ -65,12 +65,17 @@
     1.4  not have their own file system.
     1.5  
     1.6  A much better solution is to have a \emph{font server} offer the
     1.7 -Isabelle fonts to any X display on the network.  There is already a
     1.8 -suitable server running at Munich. So in case you have a sensible
     1.9 -Internet connection, you may just attach yourself as follows:
    1.10 +Isabelle fonts to any X display on the network.  There are already
    1.11 +suitable servers running at Munich and Cambridge. So in case you have
    1.12 +a sensible Internet connection to either site, you may just attach
    1.13 +yourself as follows:
    1.14  \begin{ttbox}
    1.15  ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    1.16  \end{ttbox}
    1.17 +or
    1.18 +\begin{ttbox}
    1.19 +ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
    1.20 +\end{ttbox}
    1.21  
    1.22  \medskip In the unfortunate case that neither local fonts work, nor
    1.23  accessing our world-wide font service is practical, it might be best