diff -r 654bf12de98b -r dbf4f791953d README
--- a/README	Thu Jun 05 09:01:17 2008 +0200
+++ b/README	Thu Jun 05 12:03:48 2008 +0200
@@ -45,7 +45,7 @@
   The Isabelle Page
 
    The Isabelle home page may be accessed both from Cambridge and Munich:
-     * http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
+     * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
      * http://isabelle.in.tum.de
 
   Mailing list