# HG changeset patch
# User wenzelm
# Date 1511619662 -3600
# Node ID 89e82aed7813049529f01914672dcebab69c300c
# Parent  733017b19de9884eb686b0dc743ea3a5e74c5b30
Mac OS X 10.10 Yosemite is baseline;

diff -r 733017b19de9 -r 89e82aed7813 Admin/PLATFORMS
--- 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
diff -r 733017b19de9 -r 89e82aed7813 NEWS
--- 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.