added Cambridge fs;
Mon, 22 Sep 1997 17:37:24 +0200
changeset 3695 6967a42a8496
parent 3694 fe7b812837ad
child 3696 e2af92a3281b
added Cambridge fs;
--- 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:
 \medskip In the unfortunate case that neither local fonts work, nor
 accessing our world-wide font service is practical, it might be best