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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
