--- 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}
--- a/lib/texinputs/isabelle.sty Fri Mar 17 16:31:06 2000 +0100
+++ b/lib/texinputs/isabelle.sty Fri Mar 17 17:10:37 2000 +0100
@@ -31,7 +31,7 @@
\newcommand{\isapar}[1]{%
{\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
-\newcommand{\isamarkupheader}[1]{#1}
+\newcommand{\isamarkupheader}[1]{\section{#1}}
\newcommand{\isamarkupchapter}[1]{\chapter{#1}}
\newcommand{\isamarkupsection}[1]{\section{#1}}