Admin/PLATFORMS
changeset 64337 e3b57c8046cb
parent 63520 2803d2b8f85d
child 64339 321065f9f55b
     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