| changeset 8501 | 2ff3d25943f1 |
| parent 8489 | bb41d88f7df5 |
| child 8512 | 9c5edbf5eefd |
--- 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}}