A preliminary test distribution is now available from http://www4.in.tum.de/~wenzelm/test/Isabelle_11-Sep-2011/download.html So far, this is just a warm-up for the upcoming release. Makarius