README
changeset 62190 ec5703538300
parent 57452 ecad2a53755a
child 62197 f354900ac0ea
     1.1 --- a/README	Sat Jan 16 15:04:31 2016 +0100
     1.2 +++ b/README	Sat Jan 16 15:57:38 2016 +0100
     1.3 @@ -34,9 +34,9 @@
     1.4     The Isabelle home page may be accessed from Cambridge, Munich, and
     1.5     Sydney:
     1.6  
     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 -     * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
    1.11 +     * http://mirror.cse.unsw.edu.au/pub/isabelle
    1.12  
    1.13    Mailing list
    1.14