# HG changeset patch
# User wenzelm
# Date 1414931180 -3600
# Node ID 911addd19e9fbe7cd4922c2cd18d103c44f8385d
# Parent  f81e113915629bce6b386a2b89cae8b53f9fb3f0
eliminated dead code;

diff -r f81e11391562 -r 911addd19e9f src/HOL/Algebra/document/root.tex
--- a/src/HOL/Algebra/document/root.tex	Sat Nov 01 20:19:07 2014 +0100
+++ b/src/HOL/Algebra/document/root.tex	Sun Nov 02 13:26:20 2014 +0100
@@ -31,9 +31,6 @@
 
 \clearpage
 
-%\renewcommand{\isamarkupheader}[1]%
-%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
-
 \parindent 0pt\parskip 0.5ex
 \input{session}
 
diff -r f81e11391562 -r 911addd19e9f src/HOL/HOLCF/Tutorial/document/root.tex
--- a/src/HOL/HOLCF/Tutorial/document/root.tex	Sat Nov 01 20:19:07 2014 +0100
+++ b/src/HOL/HOLCF/Tutorial/document/root.tex	Sun Nov 02 13:26:20 2014 +0100
@@ -8,7 +8,6 @@
 \usepackage{pdfsetup}
 
 \urlstyle{rm}
-%\isabellestyle{it}
 \pagestyle{myheadings}
 
 \begin{document}
@@ -18,11 +17,6 @@
 
 \tableofcontents
 
-%\newpage
-
-%\renewcommand{\isamarkupheader}[1]%
-%{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
-
 \parindent 0pt\parskip 0.5ex
 \input{session}