[isabelle-dev] Status of afp-devel wrt. release?
makarius at sketis.net
Fri Feb 12 19:43:47 CET 2016
What is the formal status of the afp-devel wrt. the Isabelle2016 release?
It would be nice to have a clear situation, which AFP repository
corresponds to isabelle-dev and which to Isabelle2016.
I am about to merge isabelle-release back to isabelle-dev, even before the
final tagging for Isabelle2016 happens.
This means isabelle-dev could move again at full speed.
More information about the isabelle-dev