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