--- 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