src/Doc/Prog_Prove/document/prelude.tex
changeset 58885 47fdd4f40d00
parent 56451 856492b0f755
child 73511 2cdbb6a2f2a7
equal deleted inserted replaced
58884:be4d203d35b3 58885:47fdd4f40d00
    39 % section commands
    39 % section commands
    40 \renewcommand{\chapterautorefname}{Chapter}
    40 \renewcommand{\chapterautorefname}{Chapter}
    41 \renewcommand{\sectionautorefname}{Section}
    41 \renewcommand{\sectionautorefname}{Section}
    42 \renewcommand{\subsectionautorefname}{Section}
    42 \renewcommand{\subsectionautorefname}{Section}
    43 
    43 
    44 \renewcommand{\isamarkupheader}[1]{{\rmfamily\subsection{#1}}}
       
    45 \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}}
    44 \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}}
    46 \renewcommand{\isamarkupsubsection}[1]{{\rmfamily\subsubsection{#1}}}
    45 \renewcommand{\isamarkupsubsection}[1]{{\rmfamily\subsubsection{#1}}}
    47 % isabelle in-text command font
    46 % isabelle in-text command font
    48 \newcommand{\isacom}[1]{\isa{\isacommand{#1}}}
    47 \newcommand{\isacom}[1]{\isa{\isacommand{#1}}}
    49 
    48