The carnival is over and we are back to normal. Isabelle/0a55ac5bdd92 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