src/HOL/Multivariate_Analysis/document/root.tex

--- a/src/HOL/Multivariate_Analysis/document/root.tex	Sun Nov 02 17:06:05 2014 +0100
+++ b/src/HOL/Multivariate_Analysis/document/root.tex	Sun Nov 02 17:09:04 2014 +0100
@@ -23,8 +23,7 @@
 
 \newpage
 
-\renewcommand{\isamarkupheader}[1]%
-{\section{\isabellecontext: #1}\markright{THEORY~``\isabellecontext''}}
+\renewcommand{\setisabellecontext}[1]{\markright{THEORY~``#1''}}
 
 \parindent 0pt\parskip 0.5ex
 \input{session}