Imminent. I was waiting for the statistics part to be updated to the new
qualified imports, but I think we’ll just handle that one separately.
Cheers,
Gerwin
> On 28.09.2017, at 23:52, Makarius wrote:
>
> What is the status of the afp-devel repository?
>
> Isabelle2017-RC3 is fairly stable an
What is the status of the afp-devel repository?
Isabelle2017-RC3 is fairly stable and deserves a proper afp-2017
repository fork.
Having a clear correspondence of isabelle-dev vs. afp-devel and
Isabelle2017 vs. afp-2017 also means that changes to the devel branches
can be again more ambitious.
The official status is: afp-2016 is now forked and preparing for release.
Any new changes to afp-devel will stay on afp-devel by default and it is fine
to move on with isabelle-dev.
Everything I’m aware of on afp-2016 is concluded, but if anyone still has
change sets that really need to move ov
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 Isabel