# HG changeset patch
# User wenzelm
# Date 941133188 -7200
# Node ID 4db0cdd752f75697578445a8a100c15d47b221c6
# Parent  a00ad4ca623250f85f70abd32e469150a3cafed6
tuned;

diff -r a00ad4ca6232 -r 4db0cdd752f7 doc-src/manual.bib
--- a/doc-src/manual.bib	Thu Oct 28 16:14:03 1999 +0200
+++ b/doc-src/manual.bib	Thu Oct 28 19:53:08 1999 +0200
@@ -915,7 +915,7 @@
 
 @manual{isabelle-isar-ref,
   author	= {Markus Wenzel},
-  title		= {The {Isabelle Isar} Reference Manual},
+  title		= {The {Isabelle/Isar} Reference Manual},
   institution	= TUM}