Re: [isabelle-dev] PLATFORMS: Mac OS X

2017-04-07 Thread Makarius
On 07/04/17 10:04, Salomon Sickert wrote: > >>> In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS >>> (or even 16.04 LTS). >> >> How did you get to that conclusion? Ubuntu LTS support lasts 5 years. >> Empiricially, I've seen the last 3 LTS versions being installed by >>

Re: [isabelle-dev] PLATFORMS: Mac OS X

2017-04-07 Thread Salomon Sickert
>> In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS >> (or even 16.04 LTS). > > How did you get to that conclusion? Ubuntu LTS support lasts 5 years. > Empiricially, I've seen the last 3 LTS versions being installed by > Isabelle users. Consequently, we have only recently

Re: [isabelle-dev] PLATFORMS: Mac OS X

2017-04-05 Thread Makarius
On 05/04/17 12:48, Salomon Sickert wrote: > > Looking through the list of supported platforms I was wondering, how the > deprecation cycle works. > Wouldn’t it be a good idea to drop support for a platform if the vendor > stops supporting it? The aim is to make Isabelle "just work" on almost all

Re: [isabelle-dev] PLATFORMS: Mac OS X

2017-04-05 Thread Salomon Sickert
Hi Makarius, > Please regard the updated Admin/PLATFORMS file > http://isabelle.in.tum.de/repos/isabelle/annotate/27c1b5e952bd/Admin/PLATFORMS > > Looking through the list of supported platforms I was wondering,

[isabelle-dev] PLATFORMS: Mac OS X

2017-04-04 Thread Makarius
Please regard the updated Admin/PLATFORMS file http://isabelle.in.tum.de/repos/isabelle/annotate/27c1b5e952bd/Admin/PLATFORMS This means already since 04-Mar-2017 (one month ago): * Mac OS X Mountain Lion is no longer supported and the baseline is Mavericks (on macbroy2). This is relevant when