# HG changeset patch
# User wenzelm
# Date 1554203752 -7200
# Node ID 16042475c511256696273e887813c1c0dc3e938c
# Parent  f4843d791e707feb4cb9a38e044b9fc257d61f39
misc tuning for release;

diff -r f4843d791e70 -r 16042475c511 COPYRIGHT
--- a/COPYRIGHT	Tue Apr 02 13:15:37 2019 +0200
+++ b/COPYRIGHT	Tue Apr 02 13:15:52 2019 +0200
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 1986-2018,
+Copyright (c) 1986-2019,
   University of Cambridge,
   Technische Universitaet Muenchen,
   and contributors.
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