author | wenzelm |
Tue, 11 Mar 1997 14:44:25 +0100 | |
changeset 2783 | 7d0ec11966d4 |
permissions | -rw-r--r-- |
2783 | 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$ |