NEWS
changeset 67088 89e82aed7813
parent 67069 f11486d31586
child 67099 3345d53e7c58
     1.1 --- a/NEWS	Thu Nov 23 17:03:27 2017 +0000
     1.2 +++ b/NEWS	Sat Nov 25 15:21:02 2017 +0100
     1.3 @@ -110,6 +110,9 @@
     1.4  * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
     1.5  support has been discontinued.
     1.6  
     1.7 +* Mac OS X 10.10 Yosemite is now the baseline version; Mavericks is no
     1.8 +longer supported.
     1.9 +
    1.10  * Java runtime is for x86_64 only. Corresponding Isabelle settings have
    1.11  been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,
    1.12  instead of former 32/64 variants. INCOMPATIBILITY.