[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
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 (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
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