diff -r 116f41763b2b -r ec5703538300 ANNOUNCE
--- a/ANNOUNCE	Sat Jan 16 15:04:31 2016 +0100
+++ b/ANNOUNCE	Sat Jan 16 15:57:38 2016 +0100
@@ -29,6 +29,6 @@
 
 You may get Isabelle2016 from the following mirror sites:
 
-  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle/
-  Munich (Germany)     http://isabelle.in.tum.de/
-  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle/
+  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
+  Munich (Germany)     http://isabelle.in.tum.de
+  Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle