lib/fonts/README

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/fonts/README	Tue Mar 11 14:44:25 1997 +0100
@@ -0,0 +1,14 @@
+
+Note on fonts and remote X11
+============================
+
+You may want to install this directory on any machine that is used as
+X11 terminal for Isabelle sessions, but does not mount the full
+distribution.
+
+In case the fonts directory does not appear on both the client and
+server side at the same location, the ISABELLE_INSTALLFONTS setting
+has to be adapted, though.
+
+
+$Id$