[isabelle-dev] [isabelle] Announcing Isabelle2011

[Gerwin Klein]

Please let me know by Wed if there are any last minute changes to AFP devel that need to make it into AFP 2011. On Wed, I'll branch off as we did for the Isabelle release. 

Cheers,
Gerwin

On 31/01/2011, at 21:55, Makarius <makarius at sketis.net> wrote:

> On Mon, 31 Jan 2011, Makarius wrote:
> 
>> Isabelle2011 is now available.
> 
> As of http://isabelle.in.tum.de/repos/isabelle/rev/b9357f56fd64 the isabelle-release clone is merged back.
> 
> Now AFP needs to be finalized for Isabelle2011.  Gerwin will tell what happens here.
> 
> 
>    Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>