[isabelle-dev] isabelle-dev repository status

Makarius makarius at sketis.net
Sun Nov 27 21:05:16 CET 2016

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.


More information about the isabelle-dev mailing list