speculative support for latest Mac OS X versions -- no reference systems yet;
authorwenzelm
Fri Oct 21 18:18:26 2016 +0200 (2016-10-21)
changeset 64337e3b57c8046cb
parent 64336 beb3ebb9f567
child 64338 20c543b9fa80
speculative support for latest Mac OS X versions -- no reference systems yet;
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Fri Oct 21 17:24:57 2016 +0200
     1.2 +++ b/Admin/PLATFORMS	Fri Oct 21 18:18:26 2016 +0200
     1.3 @@ -36,7 +36,8 @@
     1.4    x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
     1.5                      Mac OS X 10.9 Mavericks (macbroy2)
     1.6                      Mac OS X 10.10 Yosemite (macbroy31)
     1.7 -                    Mac OS X 10.11 El Capitan
     1.8 +                    Mac OS X 10.11 El Capitan (??)
     1.9 +                    macOS 10.12 Sierra (???)
    1.10  
    1.11    x86-cygwin        http://isabelle.in.tum.de/cygwin_2015 (x86/release)
    1.12