# HG changeset patch # User wenzelm # Date 972926540 -3600 # Node ID b1b3f25750f4472770cbda4b54aa0afc9868cd92 # Parent 638e1fc6ca747d942867038d86158a6c5b8e3243 tuned tex template; 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