[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Wed Oct 26 13:35:59 CEST 2016

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.


More information about the isabelle-dev mailing list