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
