do not change parindent/parskip;
authorwenzelm
Thu Mar 16 00:32:55 2000 +0100 (2000-03-16)
changeset 848858e37d59c146
parent 8487 5f3b0e02ec15
child 8489 bb41d88f7df5
do not change parindent/parskip;
lib/Tools/mkdir
     1.1 --- a/lib/Tools/mkdir	Thu Mar 16 00:31:58 2000 +0100
     1.2 +++ b/lib/Tools/mkdir	Thu Mar 16 00:32:55 2000 +0100
     1.3 @@ -186,7 +186,6 @@
     1.4  \usepackage{isabelle,isabellesym,pdfsetup}
     1.5  
     1.6  \renewcommand{\isamarkupheader}[1]{\section{#1}}
     1.7 -\parindent 0pt \parskip 0.5ex
     1.8  
     1.9  \begin{document}
    1.10  \input{session}