[isabelle-dev] PLATFORMS: Mac OS X

Makarius makarius at sketis.net
Tue Apr 4 17:25:08 CEST 2017

Please regard the updated Admin/PLATFORMS file

This means already since 04-Mar-2017 (one month ago):

  * Mac OS X Mountain Lion is no longer supported and the baseline is
Mavericks (on macbroy2). This is relevant when producing Isabelle

  * We have an old test machine updated for macOS Sierra in the Isabelle

  * In total the last 4 Apple OS versions are supported, despite old and
crumbling test hardware. (I have a new MacMini at home to compensate
this a little.)


More information about the isabelle-dev mailing list