Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Doc/Prog_Prove/document/prelude.tex
changeset 58885 47fdd4f40d00
parent 56451 856492b0f755
child 73511 2cdbb6a2f2a7 
--- a/src/Doc/Prog_Prove/document/prelude.tex	Sun Nov 02 17:36:52 2014 +0100
+++ b/src/Doc/Prog_Prove/document/prelude.tex	Sun Nov 02 17:39:52 2014 +0100
@@ -41,7 +41,6 @@
 \renewcommand{\sectionautorefname}{Section}
 \renewcommand{\subsectionautorefname}{Section}
 
-\renewcommand{\isamarkupheader}[1]{{\rmfamily\subsection{#1}}}
 \renewcommand{\isamarkupsection}[1]{{\rmfamily\subsection{#1}}}
 \renewcommand{\isamarkupsubsection}[1]{{\rmfamily\subsubsection{#1}}}
 % isabelle in-text command font
isabelle