[isabelle-dev] Towards the release

Gerwin.Klein at data61.csiro.au Gerwin.Klein at data61.csiro.au
Thu Oct 27 02:43:54 CEST 2016


That makes sense.

Cheers,
Gerwin


> On 27 Oct 2016, at 00:25, Makarius <makarius at 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
> 
> 




More information about the isabelle-dev mailing list