diff -r c1eeeadbe80a -r e49024d43c10 doc-src/manual.bib --- a/doc-src/manual.bib Thu Aug 19 20:05:13 1999 +0200 +++ b/doc-src/manual.bib Thu Aug 19 21:31:36 1999 +0200 @@ -619,7 +619,7 @@ institution = CUCL} @manual{isabelle-sys, - author = {Markus Wenzel}, + author = {Markus Wenzel and Stefan Berghofer}, title = {The {Isabelle} System Manual}, institution = CUCL}