[isabelle-dev] [isabelle] Announcing Isabelle2011

Gerwin Klein gerwin.klein at nicta.com.au
Mon Jan 31 12:40:54 CET 2011

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. 


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

More information about the isabelle-dev mailing list