doc-src/System/fonts.tex

--- 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: