# HG changeset patch
# User wenzelm
# Date 858087865 -3600
# Node ID 7d0ec11966d48674590fe52185aadd3bdaf24086
# Parent  5e8771682c73f953ed80e5cbe6abaca24a4847b7
Note on fonts and remote X11;

diff -r 5e8771682c73 -r 7d0ec11966d4 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$