[isabelle-dev] Multicore performance preview

Makarius makarius at sketis.net
Tue Oct 21 22:36:36 CEST 2008

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
>   http://sourceforge.net/project/showfiles.php?group_id=148318&package_id=163589
> is still 5.2....

You are right, 5.2.1 has not been published yet.  The present CVS version 
is more or less at the same state, see e.g. our /home/polyml/polyml-cvs/.


More information about the isabelle-dev mailing list