[isabelle-dev] Towards Isabelle2011 release

[Makarius]

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

The only limitation is that big HOL library changes on the Isabelle 
development branch should be postponed, until AFP for Isabelle2011 is 
officially released.


 	Makarius