That makes sense. Cheers, Gerwin
> On 27 Oct 2016, at 00:25, Makarius <makar...@sketis.net> wrote: > > On 26/10/16 11:58, Makarius wrote: > >> 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. > > I have had a chat with the system administration at TUM. We can keep up > the status quo with some minor updates, but not much more. > > So the present plan is this: > > * After the release of Isabelle2016-1 (December 2016) we discontinue > support for 10.8 Mountain Lion and update macbroy30 to 10.12 Sierra > (probably the ultimate version that is possible on this hardware). > > * After one more release cycle by Apple (2017?) we discontinue support > for 10.9 Mavericks and update macbroy2 to 10.11 El Capitan (definitely > the ultimate version that is possible on this hardware). > > > This means we hold up the standard of approx. 4 versions of Apple's OS, > whatever its name might be next year. > > > Makarius > > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev