--- a/lib/Tools/mkdir Mon Oct 23 22:09:21 2000 +0200 +++ b/lib/Tools/mkdir Mon Oct 23 22:09:52 2000 +0200 @@ -198,6 +198,8 @@ \isabellestyle{it} \begin{document} +\title{$NAME}\maketitle +\tableofcontents \input{session} \end{document}