In Isabelle/1c0b93961cb1 I have merged the isabelle-release repository
back into isabelle-dev, this means that consolidations of release
candidates are effective on the post-release branch.
Semantically, we have still a fork of both repositories, until the final
release of Isabelle2016-1 (which should happen within the next 2 weeks).
The status of AFP is still unclear to me. The AFP editors need to come
up with a plan how to proceed.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
