
<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi Makarius,<div class=""><br class=""></div><div class=""><div><blockquote type="cite" class=""><div class=""><div class="">Please regard the updated Admin/PLATFORMS file<br class=""><a href="http://isabelle.in.tum.de/repos/isabelle/annotate/27c1b5e952bd/Admin/PLATFORMS" class="">http://isabelle.in.tum.de/repos/isabelle/annotate/27c1b5e952bd/Admin/PLATFORMS</a><br class=""></div></div></blockquote><div><br class=""></div><div>Looking through the list of supported platforms I was wondering, how the deprecation cycle works.</div><div>Wouldn’t it be a good idea to drop support for a platform if the vendor stops supporting it?</div><div><br class=""></div><div>In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS (or even 16.04 LTS).</div><div>And secondly dropping support for OS X Mavericks, since that is also unsupported by Apple right now.</div><div><br class=""></div></div></div><div class="">What do you think?</div><div class=""><br class=""></div><div class="">Best,</div><div class="">Salomon</div></body></html>