ANNOUNCE
changeset 62190 ec5703538300
parent 62084 969119292e25
child 62197 f354900ac0ea
     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