# HG changeset patch
# User wenzelm
# Date 1414948874 -3600
# Node ID 9537bf1c4853652c633378748fd929711abd62f8
# Parent  38db8ddc0f570339ba683abed88dc5c0e502c5d7
prefer \setisabellecontext;

diff -r 38db8ddc0f57 -r 9537bf1c4853 src/HOL/document/root.tex
--- a/src/HOL/document/root.tex	Sun Nov 02 18:16:19 2014 +0100
+++ b/src/HOL/document/root.tex	Sun Nov 02 18:21:14 2014 +0100
@@ -25,8 +25,7 @@
 
 \newpage
 
-\renewcommand{\isamarkupheader}[1]%
-{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
+\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
 
 \parindent 0pt\parskip 0.5ex
 \input{session}