changeset 10353 | b1b3f25750f4 |
parent 10308 | c50fc8023ac0 |
child 10423 | 4fd0ce4a38bc |
--- 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