tuned URLs according to website;
authorwenzelm
Sat Jan 16 15:57:38 2016 +0100 (2016-01-16)
changeset 62190ec5703538300
parent 62189 116f41763b2b
child 62191 eb9f5ee249f9
tuned URLs according to website;
ANNOUNCE
README
     1.1 --- a/ANNOUNCE	Sat Jan 16 15:04:31 2016 +0100
     1.2 +++ b/ANNOUNCE	Sat Jan 16 15:57:38 2016 +0100
     1.3 @@ -29,6 +29,6 @@
     1.4  
     1.5  You may get Isabelle2016 from the following mirror sites:
     1.6  
     1.7 -  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
     1.8 -  Munich (Germany)     http://isabelle.in.tum.de/
     1.9 -  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
    1.10 +  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
    1.11 +  Munich (Germany)     http://isabelle.in.tum.de
    1.12 +  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
     2.1 --- a/README	Sat Jan 16 15:04:31 2016 +0100
     2.2 +++ b/README	Sat Jan 16 15:57:38 2016 +0100
     2.3 @@ -34,9 +34,9 @@
     2.4     The Isabelle home page may be accessed from Cambridge, Munich, and
     2.5     Sydney:
     2.6  
     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 -     * http://mirror.cse.unsw.edu.au/pub/isabelle/index.html
    2.11 +     * http://mirror.cse.unsw.edu.au/pub/isabelle
    2.12  
    2.13    Mailing list
    2.14