diff -r ebf874fcbff2 -r 5b288a96bc61 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Thu Feb 24 08:56:36 2000 +0100
+++ b/lib/Tools/mkdir	Thu Feb 24 15:34:49 2000 +0100
@@ -185,6 +185,9 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
+\renewcommand{\isamarkupheader}[1]{\section{#1}}
+\parindent 0pt \parskip 0.5ex
+
 \begin{document}
 \input{session}
 \end{document}