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