doc-src/System/fonts.tex
changeset 7849 29a2a1d71128
parent 5364 ffa6d795c4b3
child 7882 52fb3667f7df
     1.1 --- a/doc-src/System/fonts.tex	Wed Oct 13 15:41:24 1999 +0200
     1.2 +++ b/doc-src/System/fonts.tex	Wed Oct 13 19:39:19 1999 +0200
     1.3 @@ -52,8 +52,7 @@
     1.4  same machine. In this case, most X11 display servers should be happy
     1.5  by being told about the Isabelle fonts directory as follows:
     1.6  \begin{ttbox}
     1.7 -ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
     1.8 -
     1.9 +ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"%$
    1.10  \end{ttbox}
    1.11  The same also works for remote X11 sessions in a somewhat homogeneous
    1.12  network, where any X11 display machine also mounts the Isabelle
    1.13 @@ -134,7 +133,6 @@
    1.14  scripts are just left in plain \textsc{ascii}.  Thus users with
    1.15  \textsc{ascii}-only facilities will still be able to read your files.
    1.16  
    1.17 -
    1.18  %%% Local Variables: 
    1.19  %%% mode: latex
    1.20  %%% TeX-master: "system"