lib/fonts/README
changeset 2783 7d0ec11966d4
equal deleted inserted replaced
2782:5e8771682c73 2783:7d0ec11966d4
       
     1 
       
     2 Note on fonts and remote X11
       
     3 ============================
       
     4 
       
     5 You may want to install this directory on any machine that is used as
       
     6 X11 terminal for Isabelle sessions, but does not mount the full
       
     7 distribution.
       
     8 
       
     9 In case the fonts directory does not appear on both the client and
       
    10 server side at the same location, the ISABELLE_INSTALLFONTS setting
       
    11 has to be adapted, though.
       
    12 
       
    13 
       
    14 $Id$