Our usual packages for use with Isabelle are available here:
http://isabelle.in.tum.de/polyml-5.2.1/
For any serious use of multithreading in recent development snapshots
Poly/ML 5.2.1 is really required, but there is no immediate need to
recompile the official Isabelle2008.
Makarius
Makarius wrote:
> On Tue, 21 Oct 2008, Stefan Berghofer wrote:
>
>> Makarius wrote:
>>> You will need the latest Poly/ML 5.2.1 version to prevent a strange GC
>>> deadlock problem in 5.1/5.2.
>> Where can I get the latest version? The latest version offered for download
>> on the Sourceforge page