changeset 8289 | 5b288a96bc61 |
parent 8244 | c587f5ac4a98 |
child 8475 | deb604b3d9a9 |
--- 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}