--- a/doc-src/Exercises/2002/a1/generated/session.tex Sat Mar 01 19:34:54 2003 +0100
+++ b/doc-src/Exercises/2002/a1/generated/session.tex Sun Mar 02 10:32:51 2003 +0100
@@ -1,6 +1,6 @@
\input{a1.tex}
-%%% Local Variables:
+%%% Local Variables:
%%% mode: latex
%%% TeX-master: "root"
%%% End: