README
changeset 68649 f849fc1cb65e
parent 67866 11e4060bcdca
child 70025 16042475c511
     1.1 --- a/README	Wed Jul 18 12:21:55 2018 +0200
     1.2 +++ b/README	Wed Jul 18 16:44:01 2018 +0200
     1.3 @@ -34,10 +34,10 @@
     1.4     The Isabelle home page may be accessed from the following mirror
     1.5     sites:
     1.6  
     1.7 -     * http://www.cl.cam.ac.uk/research/hvg/Isabelle
     1.8 -     * http://isabelle.in.tum.de
     1.9 +     * https://www.cl.cam.ac.uk/research/hvg/Isabelle
    1.10 +     * https://isabelle.in.tum.de
    1.11       * http://mirror.cse.unsw.edu.au/pub/isabelle
    1.12 -     * http://mirror.clarkson.edu/isabelle
    1.13 +     * https://mirror.clarkson.edu/isabelle
    1.14  
    1.15    Mailing list
    1.16