[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
Dear all, the fork of the isabelle-release repository will happen today. Before preparing further commits for the post-release version of the main Isabelle repository, please await the second announcement later in the evening that the fork has happened, so that we have a clear distinction what is meant for Isabelle2013-1 and what for the next release after it. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
On Thu, 3 Oct 2013, Makarius wrote: the fork of the isabelle-release repository will happen today. Before preparing further commits for the post-release version of the main Isabelle repository, please await the second announcement later in the evening that the fork has happened, so that we have a clear distinction what is meant for Isabelle2013-1 and what for the next release after it. We are now past point 0 for the coming Isabelle2013-1 relase. This means: * https://bitbucket.org/isabelle_project/isabelle-release/ is where the final release preparations happen before roll-out in approx. 5 weeks. 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"). The starting point is https://bitbucket.org/isabelle_project/isabelle-release/commits/65c6a00ff86b * http://isabelle.in.tum.de/repos/isabelle is back in post-release mode right now (changeset 5bf55a713232). Anything pushed there is for the next release after Isabelle2013-1. 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 Isabelle2013-1, based on the afp-devel repository. * mira tests isabelle, not isabelle-release * isatest tests isabelle-release * Isabelle2013-1-RC versions based on isabelle-release will be announced on isabelle-users soon. I hope that many people will join the testing efforts on their lazy linux, wicket windows, and alien apple machines There is Bitbucket issue tracking via https://bitbucket.org/isabelle_project/isabelle-release/issues, although last time it was de-facto just a marginal extension of my private mail folder. I am myself not following the main Isabelle repository in the next few weeks, but concentrate on open issues for the release (on isabelle-users). Moreover, I will be on vacation from 17-Oct to 04-Nov and make the final launch afterwards. This is why we have some extra weeks for extra testing. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
On Thu, 3 Oct 2013, Makarius wrote: * https://bitbucket.org/isabelle_project/isabelle-release/ is where the final release preparations happen before roll-out in approx. 5 weeks. 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"). The starting point is https://bitbucket.org/isabelle_project/isabelle-release/commits/65c6a00ff86b A few more hints: any changes for the isabelle-release branch need to be prepared wrt. to a recent clone of the above history. This needs to be distinguished from "the" Isabelle repository that is already moving forward towards the next release after Isabelle2013-1. Technical and semantic problems are to be expected by taking changesets from http://isabelle.in.tum.de/repos/isabelle and putting them on https://bitbucket.org/isabelle_project/isabelle-release/commits We are in the lucky situation that we normally have only one main branch, and don't have to spend the extra resources on managing continuous fragmentation and defragmentation of development. In the next 5 weeks, one needs to think twice, though. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
Just a reminder, before this all ends in chaos: On Thu, 3 Oct 2013, Makarius wrote: * https://bitbucket.org/isabelle_project/isabelle-release/ is where the final release preparations happen before roll-out * http://isabelle.in.tum.de/repos/isabelle is back in post-release mode right now (changeset 5bf55a713232). Anything pushed there is for the next release after Isabelle2013-1. * Isabelle2013-1-RC versions based on isabelle-release will be announced on isabelle-users soon. I am myself not following the main Isabelle repository in the next few weeks, but concentrate on open issues for the release (on isabelle-users). So: * isabelle-users (not isabelle-dev) is discussing problems and potential last-minute amendments of release candidates for the final Isabelle2013-1 * isabelle-dev is in post release mode (after Isabelle2013-1), like the main repository. I am myself not following the latter until the final release is launched at the beginning of November. We have a genuine non-linear history until it is merged back, and "the" latest version does not make any sense in emails to me in the coming weeks. Since I am on vacation from 17-Oct to 04-Nov, I will be really absent from "the" repository and the corresponding isabelle-dev mailing list. It is important to point out to me explicitly, if there are serious problems that need to be reconsidered for the release of Isabelle2013-1. The first question to ask if it is newly introduced after Isabelle2013 or was there already before. The second question if a change is more likely to improve the situation than causing last-minute problems. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
On Tue, 15 Oct 2013, Makarius wrote: * isabelle-dev is in post release mode (after Isabelle2013-1), like the main repository. This wording might be misunderstood once again. It means isabelle-dev and the main Isabelle repository are *now* in post release mode, for whatever release comes *after* Isabelle2013-1. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev