diff -r d465b396ef85 -r cc7b5e0355a5 ANNOUNCE
--- a/ANNOUNCE	Fri Jul 06 16:29:47 2018 +0200
+++ b/ANNOUNCE	Fri Jul 06 21:19:24 2018 +0200
@@ -27,7 +27,7 @@
 
 You may get Isabelle2018 from the following mirror sites:
 
-  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
-  Munich (Germany)     http://isabelle.in.tum.de
+  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
+  Munich (Germany)     https://isabelle.in.tum.de
   Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
-  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle
+  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle