# HG changeset patch
# User kleing
# Date 1082206670 -7200
# Node ID b167b1b848d8c8a066fde7e0f1f5c51085192fe3
# Parent  603f08285c6586934a4c84f9049ecfc101f14539
added sydney mirror

diff -r 603f08285c65 -r b167b1b848d8 ANNOUNCE
--- a/ANNOUNCE	Sat Apr 17 14:51:21 2004 +0200
+++ b/ANNOUNCE	Sat Apr 17 14:57:50 2004 +0200
@@ -39,10 +39,11 @@
   allowed in identifiers.
 
 
-You may get Isabelle2003 from the following mirror sites:
+You may get Isabelle2004 from the following mirror sites:
 
-  Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
-  Munich (Germany)  http://isabelle.in.tum.de/dist/
+  Cambridge (UK)       http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
+  Munich (Germany)     http://isabelle.in.tum.de/dist/
+  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
 
 Gerwin Klein
 Tobias Nipkow