changeset 64337 | e3b57c8046cb |
parent 63520 | 2803d2b8f85d |
child 64339 | 321065f9f55b |
--- a/Admin/PLATFORMS Fri Oct 21 17:24:57 2016 +0200 +++ b/Admin/PLATFORMS Fri Oct 21 18:18:26 2016 +0200 @@ -36,7 +36,8 @@ x86_64-darwin Mac OS X 10.8 Mountain Lion (macbroy30) Mac OS X 10.9 Mavericks (macbroy2) Mac OS X 10.10 Yosemite (macbroy31) - Mac OS X 10.11 El Capitan + Mac OS X 10.11 El Capitan (??) + macOS 10.12 Sierra (???) x86-cygwin http://isabelle.in.tum.de/cygwin_2015 (x86/release)