[isabelle-dev] Poly/ML 5.7

Makarius makarius at sketis.net
Mon May 15 15:01:15 CEST 2017

On 15/05/17 14:24, Makarius wrote:
> On 15/05/17 12:29, Lawrence Paulson wrote:
>> Version 5.7 doesn’t even build on my main workstation, though it works
>> on my MacBook Pro running broadly similar software. No idea what is
>> going on here, but I’m not happy about it.
> There are already some mail threads on the Poly/ML list, where various
> people have helped out to consolidate the situation.
> Anyone who is proficient with C/C++ and various platforms (Linux,
> Windows, Mac OS X varieties) is invited to join there -- not just now,
> but also in the longer term.

Some of this activity is actually on the HOL and ProofPower mailing
list, apart from the Isabelle side here.

We should make sure that everything relevant to Poly/ML also goes over
its official mailing list:


More information about the isabelle-dev mailing list