diff -r 1457584110ac -r cd6985ffd868 doc-src/Exercises/2003/a1/generated/session.tex --- 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"