[isabelle-dev] Multicore performance preview

David Matthews David.Matthews at prolingua.co.uk
Wed Oct 22 21:16:08 CEST 2008

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
>>   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/.

Makarius was being slightly premature by announcing it yesterday. 
Poly/ML 5.2.1 has now been released and you should find it on 
SourceForge.  It's nice to see the speed-ups, though.


More information about the isabelle-dev mailing list