changeset 67088 | 89e82aed7813 |
parent 67069 | f11486d31586 |
child 67099 | 3345d53e7c58 |
--- 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.