diff -r efa136cbde29 -r 2ff3d25943f1 lib/Tools/mkdir
--- a/lib/Tools/mkdir	Fri Mar 17 16:31:06 2000 +0100
+++ b/lib/Tools/mkdir	Fri Mar 17 17:10:37 2000 +0100
@@ -185,8 +185,6 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
-\renewcommand{\isamarkupheader}[1]{\section{#1}}
-
 \begin{document}
 \input{session}
 \end{document}