<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hello Makarius,<div class=""><br class=""></div><div class=""><br class=""></div><div class=""><div><blockquote type="cite" class=""><div class=""><div class="">Has anybody tried Sierra already? That can be done by the .dmg provided<br class="">on <a href="http://isabelle.in.tum.de/devel" class="">http://isabelle.in.tum.de/devel</a><br class=""></div></div></blockquote><br class=""><div>I am using Isabelle devel and RC0 on Sierra (for two weeks), without problem so far.</div><div><br class=""></div><div><br class=""></div><div>Mathias</div><div><br class=""></div><div><br class=""></div><div><br class=""></div><blockquote type="cite" class=""><div class=""><div class="">The official platform support scheme for Isabelle is documented in<br class="">Isabelle/Admin/PLATFORMS:<br class=""><a href="http://isabelle.in.tum.de/repos/isabelle/file/692a1b317316/Admin/PLATFORMS#l25" class="">http://isabelle.in.tum.de/repos/isabelle/file/692a1b317316/Admin/PLATFORMS#l25</a><br class=""><br class="">It shows that Mac OS X 10.11 El Capitan is listed without a proof by<br class="">some reference machine (it is my old laptop at the moment). 10.12 is<br class="">missing altogether, because I can't run that without giving Apple some<br class="">money for hardware.<br class=""><br class="">Filling this platform-support hole requires some remotely accessible<br class="">machine that can be also used in interactive SSH and Apple terminal<br class="">sessions: a batch-only test as presently done in Jenkins is not sufficient.</div></div></blockquote><br class=""></div><div><blockquote type="cite" class=""><div class=""><div class="">If it cannot be done, we need to rethink Isabelle support on Mac OS X<br class="">(err macOS).<br class=""><br class="">About 10 years ago, I have become a part-time Mac user, because it was<br class="">not sufficient to trust the sporadic testing by full-time Mac users.<br class=""><br class="">We've got used to a situation where almost everything works, but that<br class="">does not continue automatically out of custom.<br class=""><br class=""><br class=""><span class="Apple-tab-span" style="white-space:pre"> </span>Makarius<br class=""><br class="">_______________________________________________<br class="">isabelle-dev mailing list<br class=""><a href="mailto:isabelle-dev@in.tum.de" class="">isabelle-dev@in.tum.de</a><br class="">https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev<br class=""></div></div></blockquote></div><br class=""></div></body></html>