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