# HG changeset patch
# User wenzelm
# Date 953309437 -3600
# Node ID 2ff3d25943f1239b0d48e3643d5d76790d293234
# Parent  efa136cbde2977448c7e8473e95b705e6cc4f108
\isamarkupheader: \section;

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}
diff -r efa136cbde29 -r 2ff3d25943f1 lib/texinputs/isabelle.sty
--- 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}}