# HG changeset patch
# User wenzelm
# Date 1014158989 -3600
# Node ID 4570584fbda95ed0699c65d31caf2085445a6fb7
# Parent  2be514a36aecb31d805e6bec442ae0bc96734cb1
tuned;

diff -r 2be514a36aec -r 4570584fbda9 doc-src/manual.bib
--- a/doc-src/manual.bib	Tue Feb 19 23:49:26 2002 +0100
+++ b/doc-src/manual.bib	Tue Feb 19 23:49:49 2002 +0100
@@ -1169,7 +1169,8 @@
 
 @phdthesis{Wenzel-PhD,author={Markus Wenzel},title={Isabelle/Isar ---
 a versatile environment for human-readable formal proof documents},
-school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002}
+school={Institut f{\"u}r Informatik, Technische Universit{\"a}t M{\"u}nchen},year=2002,
+  note =	 {\url{http://tumb1.biblio.tu-muenchen.de/publ/diss/in/2002/wenzel.html}}}
 
 
 @book{principia,