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?


Attachment: smime.p7s
Description: S/MIME cryptographic signature

isabelle-dev mailing list

Reply via email to