After extra-long testing of release candidates we are back to normal. Isabelle/50199af40c27 is the merge point for the release branch from https://bitbucket.org/isabelle_project/isabelle-release Now the main Isabelle repository is again the main focus for working towards the next release. Makarius