--- 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}