\isamarkupheader: \section;
authorwenzelm
Fri Mar 17 17:10:37 2000 +0100 (2000-03-17)
changeset 85012ff3d25943f1
parent 8500 efa136cbde29
child 8502 75fc67e56440
\isamarkupheader: \section;
lib/Tools/mkdir
lib/texinputs/isabelle.sty
     1.1 --- a/lib/Tools/mkdir	Fri Mar 17 16:31:06 2000 +0100
     1.2 +++ b/lib/Tools/mkdir	Fri Mar 17 17:10:37 2000 +0100
     1.3 @@ -185,8 +185,6 @@
     1.4  \documentclass[11pt,a4paper]{article}
     1.5  \usepackage{isabelle,isabellesym,pdfsetup}
     1.6  
     1.7 -\renewcommand{\isamarkupheader}[1]{\section{#1}}
     1.8 -
     1.9  \begin{document}
    1.10  \input{session}
    1.11  \end{document}
     2.1 --- a/lib/texinputs/isabelle.sty	Fri Mar 17 16:31:06 2000 +0100
     2.2 +++ b/lib/texinputs/isabelle.sty	Fri Mar 17 17:10:37 2000 +0100
     2.3 @@ -31,7 +31,7 @@
     2.4  
     2.5  \newcommand{\isapar}[1]{%
     2.6  {\parindent\@parindent\parskip\@parskip\par\medskip #1}\par\smallskip}
     2.7 -\newcommand{\isamarkupheader}[1]{#1}
     2.8 +\newcommand{\isamarkupheader}[1]{\section{#1}}
     2.9  
    2.10  \newcommand{\isamarkupchapter}[1]{\chapter{#1}}
    2.11  \newcommand{\isamarkupsection}[1]{\section{#1}}