Important note: isatest is presently testing https://bitbucket.org/isabelle_project/isabelle-release again. There have been a bit too many posthoc changes for Isabelle2013-1 to trust blindly that the usual collection of isatest platforms still work. The final Isabelle2013-2 release will probably happen in 1 week. Makarius