# 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}