On 26/10/16 12:39, Lawrence Paulson wrote:
> I see no need for a (?) next to El Capitan. I’ve been using it on multiple
> machines for nearly a year.
The question mark means that there is no reference system as a proof for
platform support.
This is required for the following reasons:
>> Generally, the reference systems according to Isabelle/Admin/PLATFORMS
>> are required for three main purposes:
>>
>> * Compilation of Isabelle components (via ssh) -- on the *oldest*
>> supported version.
>>
>> * Routine batch-builds of Isabelle + add-on tools -- on *all*
>> supported versions. This is usually done by the administrative cronjob.
>>
>> * Occasional interactive tests (via Screen Sharing), to figure out GUI
>> portability problems, to test the Isabelle.app integration etc.
Before we introduced these reference systems, platform support was less
systematic, and generally less ambitious. That was before 2007/2008.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
