Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
obsolete;
authorwenzelm
Sun, 02 Nov 2014 17:39:52 +0100
changeset 58885 47fdd4f40d00
parent 58884 be4d203d35b3
child 58886 8a6cac7c7247
obsolete;
src/Doc/Prog_Prove/document/prelude.tex file | annotate | diff | comparison | revisions 
--- 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