We are now past the fork point for the Isabelle2014 release. This means:
* https://bitbucket.org/isabelle_project/isabelle-release/ is where the final release preparations happen before roll-out in approx. 3 weeks. The starting point is https://bitbucket.org/isabelle_project/isabelle-release/commits/f11f3d7589b1 There is no push access. Any changes that are relevant for the release need to be sent to me via email (produced by "hg export" or "hg bundle"). Changesets need to be prepared from a current state of isabelle-release, not the ongoing post-release development, and applied to only one of the two repository branches. * http://isabelle.in.tum.de/repos/isabelle is back in post-release mode right now (changeset 987c9ceeaafd). Anything pushed there is for the next release after Isabelle2014. Big upheaveals should be avoided, so that the release branch can be merged back cleanly after several weeks; but it is better to publish small changes now than to stockpile them for a long time. * AFP needs to be understood wrt. isabelle-release. Gerwin will explain his organization of the AFP release for Isabelle2014, based on the afp-devel repository. * mira tests isabelle, not isabelle-release * isatest tests isabelle-release * isabelle-users is the place to discuss Isabelle2014-RC versions * isabelle-dev is the place to discuss ongoing post-release development Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev