--- a/Admin/PLATFORMS Thu Nov 23 17:03:27 2017 +0000
+++ b/Admin/PLATFORMS Sat Nov 25 15:21:02 2017 +0100
@@ -33,9 +33,8 @@
x86_64-linux Ubuntu 12.04 LTS
- x86_64-darwin Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
- Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
- Mac OS X 10.11 El Capitan (?)
+ x86_64-darwin Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
+ Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
x86_64-windows Windows 7
--- a/NEWS Thu Nov 23 17:03:27 2017 +0000
+++ b/NEWS Sat Nov 25 15:21:02 2017 +0100
@@ -110,6 +110,9 @@
* Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
support has been discontinued.
+* Mac OS X 10.10 Yosemite is now the baseline version; Mavericks is no
+longer supported.
+
* Java runtime is for x86_64 only. Corresponding Isabelle settings have
been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,
instead of former 32/64 variants. INCOMPATIBILITY.