I see no need for a (?) next to El Capitan. I’ve been using it on multiple machines for nearly a year. Larry
> On 26 Oct 2016, at 10:58, Makarius <makar...@sketis.net> wrote: > > On 26/10/16 00:05, gerwin.kl...@data61.csiro.au wrote: >> I’m planning to switch over to Sierra this week, and can hopefully report >> back next week on any issues with our l4v proofs, AFP, and isabelle itself. >> >> Do we know who is administering macbroy30 and macbroy2? It think it would >> make sense to switch them over to 10.11 and 10.12 (if the hardware is still >> supported). > > The PLATFORMS file documents the current situation for Isabelle support > of certain Mac OS X versions, see > http://isabelle.in.tum.de/repos/isabelle/file/4f0acbd97491/Admin/PLATFORMS#l25 > > In the past we've had particularly enthusiastic Mac system > administration at TUM, but I don't see that at the moment. So I am > reluctant to change a running system, especially macbroy2, which is very > important for the Isabelle administration and release process. > > After the release, we can probably discontinue Mountain Lion, and update > macbroy30 to El Capitan or Sierra. Both macbroy30 and macbroy31 are > MacBookPro6,2 from Mid 2010, so it looks like Sierra still works, but > that might be also the latest possible version. > > Note that in the long run, it is more important to have reference system > installations for older Mac OS versions that for newer ones: the newer > ones are more likely to be installed by current users, although that is > not really a systematic test. > > > Generally, the reference systems according to Isabelle/Admin/PLATFORMS > are required for three main purposes: > > * Compilation of Isabelle components (via ssh) -- on the *oldest* > supported version. > > * Routine batch-builds of Isabelle + add-on tools -- on *all* > supported versions. This is usually done by the administrative cronjob. > > * Occasional interactive tests (via Screen Sharing), to figure out GUI > portability problems, to test the Isabelle.app integration etc. > > > We have come quite far in the Isabelle platform support, not just on Mac > OS X (or mac OS). It would be sad to loose that for no particular reasons. > > > Makarius > > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
