I've now released Poly/ML version 5.3 on the SourceForge site. As well as the usual source code I've also built a Windows installer script that will install a binary version on Windows. The release notes are at http://www.polyml.org/docs/ReleaseNotes.html which describe what's new in this release.

Thanks to Lucas and Makarius for their contributions and for organising support for me through the University of Edinburgh and TUM. Also thanks to everyone for comments and bug reports.

Regards, David