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? Best, Salomon
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev