| changeset 62013 | 92a2372a226b |
| parent 61409 | 9d68db31196c |
| child 62640 | e36cbe677c17 |
--- a/src/Doc/System/document/root.tex Thu Dec 31 15:27:25 2015 +0100 +++ b/src/Doc/System/document/root.tex Thu Dec 31 19:53:19 2015 +0100 @@ -20,8 +20,7 @@ \title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual} -\author{\emph{Makarius Wenzel} and \emph{Stefan Berghofer} \\ - TU M\"unchen} +\author{\emph{Makarius Wenzel}} \makeindex