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-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev