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