# HG changeset patch
# User paulson
# Date 874937325 -7200
# Node ID 73378599a65b27f70ab52aa7e845b5a6f0d3e70d
# Parent  530e4ebd2564f1bdc753231d82f952062011455f
Added Cambridge font server

diff -r 530e4ebd2564 -r 73378599a65b etc/settings
--- a/etc/settings	Mon Sep 22 14:46:56 1997 +0200
+++ b/etc/settings	Mon Sep 22 16:08:45 1997 +0200
@@ -85,9 +85,9 @@
 # (1) Get fonts from local (client side) directory:
 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
 
-# (2) Get from font server at Munich:
+# (2) Get from font server at Munich or Cambridge:
 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
-
+#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
 
 ###
 ### Interfaces