1.1 --- a/doc-src/System/basics.tex	Mon Aug 24 15:52:39 1998 +0200
     1.2 +++ b/doc-src/System/basics.tex	Mon Aug 24 17:13:11 1998 +0200
     1.3 @@ -375,3 +375,9 @@
     1.4  
     1.5  There are some more options available.  Just pass \texttt{-?} to the
     1.6  \texttt{xterm} interface to have its usage printed.
     1.7 +
     1.8 +
     1.9 +%%% Local Variables: 
    1.10 +%%% mode: latex
    1.11 +%%% TeX-master: "system"
    1.12 +%%% End: 

     2.1 --- a/doc-src/System/fonts.tex	Mon Aug 24 15:52:39 1998 +0200
     2.2 +++ b/doc-src/System/fonts.tex	Mon Aug 24 17:13:11 1998 +0200
     2.3 @@ -133,3 +133,9 @@
     2.4  annotations --- using the \verb|\<|$charname$\verb|>| form, proof
     2.5  scripts are just left in plain \textsc{ascii}.  Thus users with
     2.6  \textsc{ascii}-only facilities will still be able to read your files.
     2.7 +
     2.8 +
     2.9 +%%% Local Variables: 
    2.10 +%%% mode: latex
    2.11 +%%% TeX-master: "system"
    2.12 +%%% End: 

     3.1 --- a/doc-src/System/present.tex	Mon Aug 24 15:52:39 1998 +0200
     3.2 +++ b/doc-src/System/present.tex	Mon Aug 24 17:13:11 1998 +0200
     3.3 @@ -274,3 +274,9 @@
     3.4    listed.
     3.5  
     3.6  \end{description}
     3.7 +
     3.8 +
     3.9 +%%% Local Variables: 
    3.10 +%%% mode: latex
    3.11 +%%% TeX-master: "system"
    3.12 +%%% End: