| changeset 58871 | c399ae4b836f |
| parent 49001 | c83370b55e46 |
| child 73404 | 299f6a8faccc |
--- a/src/ZF/document/root.tex Sun Nov 02 16:09:35 2014 +0100 +++ b/src/ZF/document/root.tex Sun Nov 02 16:39:54 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