[isabelle-dev] isabelle-dev repository status
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