--- a/doc-src/Exercises/2003/a1/generated/session.tex Wed Apr 07 20:42:13 2004 +0200
+++ b/doc-src/Exercises/2003/a1/generated/session.tex Thu Apr 08 01:04:20 2004 +0200
@@ -1,5 +1,6 @@
\input{a1.tex}
+
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"