[isabelle-dev] PLATFORMS: Mac OS X

[Makarius]

Please regard the updated Admin/PLATFORMS file
http://isabelle.in.tum.de/repos/isabelle/annotate/27c1b5e952bd/Admin/PLATFORMS

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
components!

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

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


	Makarius