# HG changeset patch
# User wenzelm
# Date 874942644 -7200
# Node ID 6967a42a849656ede19670bddfb403b7f4d11256
# Parent  fe7b812837ad593ffc148b952b4c6bfe5e0dd783
added Cambridge fs;

diff -r fe7b812837ad -r 6967a42a8496 doc-src/System/fonts.tex
--- a/doc-src/System/fonts.tex	Mon Sep 22 17:37:03 1997 +0200
+++ b/doc-src/System/fonts.tex	Mon Sep 22 17:37:24 1997 +0200
@@ -65,12 +65,17 @@
 not have their own file system.
 
 A much better solution is to have a \emph{font server} offer the
-Isabelle fonts to any X display on the network.  There is already a
-suitable server running at Munich. So in case you have a sensible
-Internet connection, you may just attach yourself as follows:
+Isabelle fonts to any X display on the network.  There are already
+suitable servers running at Munich and Cambridge. So in case you have
+a sensible Internet connection to either site, you may just attach
+yourself as follows:
 \begin{ttbox}
 ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
 \end{ttbox}
+or
+\begin{ttbox}
+ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
+\end{ttbox}
 
 \medskip In the unfortunate case that neither local fonts work, nor
 accessing our world-wide font service is practical, it might be best