[isabelle-dev] Multicore performance preview

[Stefan Berghofer]

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

Greetings,
Stefan

-- 
Dr. Stefan Berghofer               E-Mail: berghofe at in.tum.de
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY            http://www.in.tum.de/~berghofe