[isabelle-dev] Fork of Isabelle2013-1 release repository TODAY
makarius at sketis.net
Fri Oct 4 19:26:59 CEST 2013
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
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
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.
More information about the isabelle-dev