README
changeset 27085 dbf4f791953d
parent 27006 6ca0c942a25c
child 27646 d010fc1d3c46
     1.1 --- a/README	Thu Jun 05 09:01:17 2008 +0200
     1.2 +++ b/README	Thu Jun 05 12:03:48 2008 +0200
     1.3 @@ -45,7 +45,7 @@
     1.4    The Isabelle Page
     1.5  
     1.6     The Isabelle home page may be accessed both from Cambridge and Munich:
     1.7 -     * http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
     1.8 +     * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
     1.9       * http://isabelle.in.tum.de
    1.10  
    1.11    Mailing list