| changeset 51448 | b041137f7fe5 |
| parent 51436 | 790310525e97 |
| child 51463 | fa84494bf3a0 |
--- a/src/Doc/ProgProve/document/prelude.tex Mon Mar 18 11:25:24 2013 +0100 +++ b/src/Doc/ProgProve/document/prelude.tex Mon Mar 18 12:31:13 2013 +0100 @@ -48,6 +48,7 @@ % section commands \renewcommand{\chapterautorefname}{Chapter} \renewcommand{\sectionautorefname}{Section} +\renewcommand{\subsectionautorefname}{Section} \renewcommand{\isamarkupheader}[1]{{\rmfamily\subsection{#1}}} \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}}