# HG changeset patch
# User wenzelm
# Date 863441925 -7200
# Node ID 2bd87b6682bff4e57c9add5cadafa5899fda5cf8
# Parent  1f86ec907a3fa5adce71542a929305b141b407b4
improved comments;

diff -r 1f86ec907a3f -r 2bd87b6682bf etc/settings
--- a/etc/settings	Mon May 12 14:32:46 1997 +0200
+++ b/etc/settings	Mon May 12 14:58:45 1997 +0200
@@ -80,9 +80,14 @@
 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 
-# How to install the isabelle X11 fonts (can be tricky!).
+## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
+
+# (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 Cambridge or Munich):
 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
+#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
 
 
 ###