# HG changeset patch
# User wenzelm
# Date 951402889 -3600
# Node ID 5b288a96bc617f669ecc06302a656ddaa89adcf8
# Parent  ebf874fcbff2814549cfc8454ca9ad0888285a19
tuned generated TeX code;

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}