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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev