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