tuned generated TeX code;
authorwenzelm
Thu Feb 24 15:34:49 2000 +0100 (2000-02-24)
changeset 82895b288a96bc61
parent 8288 ebf874fcbff2
child 8290 7015d6b11b56
tuned generated TeX code;
lib/Tools/mkdir
     1.1 --- a/lib/Tools/mkdir	Thu Feb 24 08:56:36 2000 +0100
     1.2 +++ b/lib/Tools/mkdir	Thu Feb 24 15:34:49 2000 +0100
     1.3 @@ -185,6 +185,9 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage{isabelle,isabellesym,pdfsetup}
     1.6  
     1.7 +\renewcommand{\isamarkupheader}[1]{\section{#1}}
     1.8 +\parindent 0pt \parskip 0.5ex
     1.9 +
    1.10  \begin{document}
    1.11  \input{session}
    1.12  \end{document}