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,