See http://www4.in.tum.de/~wenzelm/test/website-test/ for the latest test version, which is unlikely to change again for the final release.
The precompiled binaries are now for Poly/ML 5.2, which has been released just today. Moreover, there are now logic images for Cygwin, and more explicit instructions how to use that platform. I've also updated the E prover binaries to the latest version of 0.999-006. Please check everything on your favourite platform. This is the last chance to sort out any problems. Makarius