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.)


isabelle-dev mailing list

Reply via email to