added sydney mirror
authorkleing
Sat Apr 17 14:57:50 2004 +0200 (2004-04-17)
changeset 14616b167b1b848d8
parent 14615 603f08285c65
child 14617 a2bcb11ce445
added sydney mirror
ANNOUNCE
     1.1 --- a/ANNOUNCE	Sat Apr 17 14:51:21 2004 +0200
     1.2 +++ b/ANNOUNCE	Sat Apr 17 14:57:50 2004 +0200
     1.3 @@ -39,10 +39,11 @@
     1.4    allowed in identifiers.
     1.5  
     1.6  
     1.7 -You may get Isabelle2003 from the following mirror sites:
     1.8 +You may get Isabelle2004 from the following mirror sites:
     1.9  
    1.10 -  Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    1.11 -  Munich (Germany)  http://isabelle.in.tum.de/dist/
    1.12 +  Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
    1.13 +  Munich (Germany)     http://isabelle.in.tum.de/dist/
    1.14 +  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
    1.15  
    1.16  Gerwin Klein
    1.17  Tobias Nipkow