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.