# HG changeset patch
# User nipkow
# Date 1008764472 -3600
# Node ID 90ac72455fcc5f3075f0da1fb4b806890c7bfbd3
# Parent  d2d2ab3f1f37cab89b4e35e442f7376c97f90c58
*** empty log message ***

diff -r d2d2ab3f1f37 -r 90ac72455fcc doc-src/TutorialI/preface.tex
--- a/doc-src/TutorialI/preface.tex	Wed Dec 19 11:13:27 2001 +0100
+++ b/doc-src/TutorialI/preface.tex	Wed Dec 19 13:21:12 2001 +0100
@@ -48,7 +48,7 @@
 derived almost entirely from output generated in this way.
 
 Isabelle's
-\href{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/}{web site}
+\href{http://isabelle.in.tum.de/}{web site}
 contains links to the download area and to documentation and other
 information.  Most Isabelle sessions are now run from within David
 Aspinall's wonderful user interface,