[isabelle-dev] Towards Isabelle2011 release
makarius at sketis.net
Mon Jan 17 20:31:11 CET 2011
On Mon, 17 Jan 2011, Makarius wrote:
> On Mon, 17 Jan 2011, Makarius wrote:
>> It looks like the point zero will be today, either in the afternoon or
>> evening (GMT).
> As of version 54a4512e29a6 the release branch continues at
This also means that http://isabelle.in.tum.de/repos/isabelle is again
open for submissions for the post-release development cycle (cf.
The only limitation is that big HOL library changes on the Isabelle
development branch should be postponed, until AFP for Isabelle2011 is
More information about the isabelle-dev