| changeset 69529 | 4ab9657b3257 |
| parent 69518 | bf88364c9e94 |
| child 69608 | 2b3a247889f8 |
--- a/src/HOL/Analysis/document/root.tex Fri Dec 28 19:01:35 2018 +0100 +++ b/src/HOL/Analysis/document/root.tex Sat Dec 29 15:43:53 2018 +0100 @@ -26,7 +26,7 @@ \newpage -\renewcommand{\setisabellecontext}[1]{\markright{#1.thy}} +\renewcommand{\setisabellecontext}[1]{\markright{\href{#1.html}{#1.thy}}} \parindent 0pt\parskip 0.5ex \input{session}