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