adjusted location of cambridge website
authorhaftmann
Thu Jun 05 12:03:48 2008 +0200 (2008-06-05)
changeset 27085dbf4f791953d
parent 27084 654bf12de98b
child 27086 b7c8b3bb8954
adjusted location of cambridge website
ANNOUNCE
README
     1.1 --- a/ANNOUNCE	Thu Jun 05 09:01:17 2008 +0200
     1.2 +++ b/ANNOUNCE	Thu Jun 05 12:03:48 2008 +0200
     1.3 @@ -31,6 +31,6 @@
     1.4  
     1.5  You may get Isabelle2008 from the following mirror sites:
     1.6  
     1.7 -  Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
     1.8 +  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
     1.9    Munich (Germany)     http://isabelle.in.tum.de/
    1.10    Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
     2.1 --- a/README	Thu Jun 05 09:01:17 2008 +0200
     2.2 +++ b/README	Thu Jun 05 12:03:48 2008 +0200
     2.3 @@ -45,7 +45,7 @@
     2.4    The Isabelle Page
     2.5  
     2.6     The Isabelle home page may be accessed both from Cambridge and Munich:
     2.7 -     * http://www.cl.cam.ac.uk/Research/HVG/Isabelle/
     2.8 +     * http://www.cl.cam.ac.uk/research/hvg/Isabelle/
     2.9       * http://isabelle.in.tum.de
    2.10  
    2.11    Mailing list