[isabelle-dev] [isabelle] Announcing Isabelle2011

Makarius makarius at sketis.net
Mon Jan 31 11:55:38 CET 2011


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


More information about the isabelle-dev mailing list