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
