I have set up a SourceForge project for Poly/ML which I am intending to use for Poly/ML downloads in future. It can be found at http://sourceforge.net/projects/polyml . It currently has the latest development sources in CVS. If anyone would like to become a project developer please contact me.

David.