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

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 >> Isa

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

>> 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

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

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, ho