[isabelle-dev] Towards Isabelle2011 release

Makarius 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 
> http://isabelle.in.tum.de/repos/isabelle-release

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 
officially released.


More information about the isabelle-dev mailing list