ANNOUNCE
changeset 68599 cc7b5e0355a5
parent 68567 b408728a002a
child 68648 371e814af6f0
     1.1 --- a/ANNOUNCE	Fri Jul 06 16:29:47 2018 +0200
     1.2 +++ b/ANNOUNCE	Fri Jul 06 21:19:24 2018 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4  
     1.5  You may get Isabelle2018 from the following mirror sites:
     1.6  
     1.7 -  Cambridge (UK)       http://www.cl.cam.ac.uk/research/hvg/Isabelle
     1.8 -  Munich (Germany)     http://isabelle.in.tum.de
     1.9 +  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
    1.10 +  Munich (Germany)     https://isabelle.in.tum.de
    1.11    Sydney (Australia)   http://mirror.cse.unsw.edu.au/pub/isabelle
    1.12 -  Potsdam, NY (USA)    http://mirror.clarkson.edu/isabelle
    1.13 +  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle