Mac OS X 10.10 Yosemite is baseline;
authorwenzelm
Sat Nov 25 15:21:02 2017 +0100 (17 months ago)
changeset 6708889e82aed7813
parent 67087 733017b19de9
child 67089 c96ee0eb0d5f
Mac OS X 10.10 Yosemite is baseline;
Admin/PLATFORMS
NEWS
     1.1 --- a/Admin/PLATFORMS	Thu Nov 23 17:03:27 2017 +0000
     1.2 +++ b/Admin/PLATFORMS	Sat Nov 25 15:21:02 2017 +0100
     1.3 @@ -33,9 +33,8 @@
     1.4  
     1.5    x86_64-linux      Ubuntu 12.04 LTS
     1.6  
     1.7 -  x86_64-darwin     Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
     1.8 -                    Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
     1.9 -                    Mac OS X 10.11 El Capitan (?)
    1.10 +  x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
    1.11 +                    Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)
    1.12                      macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
    1.13  
    1.14    x86_64-windows    Windows 7
     2.1 --- a/NEWS	Thu Nov 23 17:03:27 2017 +0000
     2.2 +++ b/NEWS	Sat Nov 25 15:21:02 2017 +0100
     2.3 @@ -110,6 +110,9 @@
     2.4  * Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
     2.5  support has been discontinued.
     2.6  
     2.7 +* Mac OS X 10.10 Yosemite is now the baseline version; Mavericks is no
     2.8 +longer supported.
     2.9 +
    2.10  * Java runtime is for x86_64 only. Corresponding Isabelle settings have
    2.11  been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,
    2.12  instead of former 32/64 variants. INCOMPATIBILITY.