# HG changeset patch
# User wenzelm
# Date 1082142053 -7200
# Node ID 9f9d651d676b0c6d8f1ff87d52072060fa90a2ea
# Parent  099575a938e52ce001cec521addc2949e28d4ede
more elaborate header markup;

diff -r 099575a938e5 -r 9f9d651d676b src/HOL/document/root.tex
--- a/src/HOL/document/root.tex	Fri Apr 16 21:00:36 2004 +0200
+++ b/src/HOL/document/root.tex	Fri Apr 16 21:00:53 2004 +0200
@@ -8,6 +8,7 @@
 
 \urlstyle{rm}
 \isabellestyle{it}
+\pagestyle{myheadings}
 
 \begin{document}
 
@@ -22,6 +23,10 @@
 
 \newpage
 
+\renewcommand{\isamarkupheader}[1]%
+{\section{\isabellecontext: #1}%
+\markright{THEORY~``\isabellecontext''}}
+
 \parindent 0pt\parskip 0.5ex
 \input{session}