[isabelle-dev] Towards the release
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
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