emacs local vars;
authorwenzelm
Mon, 24 Aug 1998 17:13:11 +0200
changeset 5364 ffa6d795c4b3
parent 5363 0cf15843b82f
child 5365 f8bd38d9f8f3
emacs local vars;
doc-src/System/basics.tex
doc-src/System/fonts.tex
doc-src/System/present.tex
--- a/doc-src/System/basics.tex	Mon Aug 24 15:52:39 1998 +0200
+++ b/doc-src/System/basics.tex	Mon Aug 24 17:13:11 1998 +0200
@@ -375,3 +375,9 @@
 
 There are some more options available.  Just pass \texttt{-?} to the
 \texttt{xterm} interface to have its usage printed.
+
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "system"
+%%% End: 
--- a/doc-src/System/fonts.tex	Mon Aug 24 15:52:39 1998 +0200
+++ b/doc-src/System/fonts.tex	Mon Aug 24 17:13:11 1998 +0200
@@ -133,3 +133,9 @@
 annotations --- using the \verb|\<|$charname$\verb|>| form, proof
 scripts are just left in plain \textsc{ascii}.  Thus users with
 \textsc{ascii}-only facilities will still be able to read your files.
+
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "system"
+%%% End: 
--- a/doc-src/System/present.tex	Mon Aug 24 15:52:39 1998 +0200
+++ b/doc-src/System/present.tex	Mon Aug 24 17:13:11 1998 +0200
@@ -274,3 +274,9 @@
   listed.
 
 \end{description}
+
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "system"
+%%% End: