See http://www4.in.tum.de/~wenzelm/test/website-test/ for a test version of the forthcoming release, including the usual precompiled binaries (still for Poly/ML 5.1). Makarius