# HG changeset patch
# User wenzelm
# Date 953163175 -3600
# Node ID 58e37d59c146e1a08ead77207d5e72a3a7cd21b2
# Parent  5f3b0e02ec153b33a204778423e45ebae20d475a
do not change parindent/parskip;

diff -r 5f3b0e02ec15 -r 58e37d59c146 lib/Tools/mkdir
--- 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}