On Mon, 21 Jul 2014, Makarius wrote: > This means the main Isabelle repository needs to converge for the release > fork, presumably on Sunday 27-Jul-2014. The situation looks good at the moment (5b652fd305d4). The fork to the release repository is planned for Sunday afternoon. Makarius