# HG changeset patch
# User wenzelm
# Date 1430946276 -7200
# Node ID 6a27919a98f00cfc71553442fd0a89866b0bdda8
# Parent  d496ab7e01362fb51bc7edcd4b71c992e2437aab
proper bib entry;

diff -r d496ab7e0136 -r 6a27919a98f0 src/Doc/manual.bib
--- 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}}}