--- a/src/Doc/manual.bib	Wed May 06 22:48:41 2015 +0200
+++ b/src/Doc/manual.bib	Wed May 06 23:04:36 2015 +0200
@@ -1827,7 +1827,7 @@
   note = {\url{http://www.spass-prover.org/publications/spass.pdf}}}
 
 @manual{isabelle-sys,
-  author	= {Markus Wenzel and Stefan Berghofer},
+  author	= {Makarius Wenzel and Stefan Berghofer},
   title		= {The {Isabelle} System Manual},
   institution	= {TU Munich},
   note          = {\url{http://isabelle.in.tum.de/doc/system.pdf}}}
changeset 60268	6a27919a98f0
parent 60257	9ed816c033c5
child 60270	a147272b16f9