diff -r 638e1fc6ca74 -r b1b3f25750f4 lib/Tools/mkdir --- a/lib/Tools/mkdir Mon Oct 30 18:21:45 2000 +0100 +++ b/lib/Tools/mkdir Mon Oct 30 18:22:20 2000 +0100 @@ -198,9 +198,16 @@ \isabellestyle{it} \begin{document} + \title{$NAME}\maketitle \tableofcontents + +\parindent 0pt\parskip 0.5ex \input{session} + +%\bibliographystyle{plain} +%\bibliography{root} + \end{document} EOF