diff -r f4843d791e70 -r 16042475c511 README
--- a/README	Tue Apr 02 13:15:37 2019 +0200
+++ b/README	Tue Apr 02 13:15:52 2019 +0200
@@ -10,7 +10,7 @@
 Installation
 
    Isabelle works on the three main platform families: Linux, Windows,
-   and Mac OS X.  The application bundles from the Isabelle web page
+   and macOS.  The application bundles from the Isabelle web page
    include sources, documentation, and add-on tools for all supported
    platforms.
 
@@ -36,7 +36,7 @@
 
      * https://www.cl.cam.ac.uk/research/hvg/Isabelle
      * https://isabelle.in.tum.de
-     * http://mirror.cse.unsw.edu.au/pub/isabelle
+     * https://mirror.cse.unsw.edu.au/pub/isabelle
      * https://mirror.clarkson.edu/isabelle
 
   Mailing list