[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY

[Makarius]

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