[isabelle-dev] PLATFORMS: Mac OS X

Salomon Sickert sickert at in.tum.de
Wed Apr 5 12:48:30 CEST 2017

Hi Makarius,

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

Looking through the list of supported platforms I was wondering, how the deprecation cycle works.
Wouldn’t it be a good idea to drop support for a platform if the vendor stops supporting it?

In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS (or even 16.04 LTS).
And secondly dropping support for OS X Mavericks, since that is also unsupported by Apple right now.

What do you think?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170405/76ca5a3c/attachment-0002.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5018 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20170405/76ca5a3c/attachment.bin>

More information about the isabelle-dev mailing list