--- a/lib/Tools/mkdir Thu Mar 16 00:31:58 2000 +0100 +++ b/lib/Tools/mkdir Thu Mar 16 00:32:55 2000 +0100 @@ -186,7 +186,6 @@ \usepackage{isabelle,isabellesym,pdfsetup} \renewcommand{\isamarkupheader}[1]{\section{#1}} -\parindent 0pt \parskip 0.5ex \begin{document} \input{session}