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

Makarius makarius at sketis.net
Tue Oct 15 19:47:34 CEST 2013

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).


   * isabelle-users (not isabelle-dev) is discussing problems and potential
     last-minute amendments of release candidates for the final

   * 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.


More information about the isabelle-dev mailing list