1.1 --- a/doc-src/manual.bib	Thu Oct 28 16:14:03 1999 +0200
     1.2 +++ b/doc-src/manual.bib	Thu Oct 28 19:53:08 1999 +0200
     1.3 @@ -915,7 +915,7 @@
     1.4  
     1.5  @manual{isabelle-isar-ref,
     1.6    author	= {Markus Wenzel},
     1.7 -  title		= {The {Isabelle Isar} Reference Manual},
     1.8 +  title		= {The {Isabelle/Isar} Reference Manual},
     1.9    institution	= TUM}
    1.10  
    1.11