[isabelle-dev] [isabelle] Announcing Isabelle2011
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.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev