> My plan would be to fork the AFP 2017 release branch tomorrow (around
> midnight CET from Mon to Tue).
> There still seems to be quite a bit of ongoing activity - if there is
> anything that needs to go into the afp-2017 release, please let me know.
One more thing that is of interest to users: the statistics page for
devel AFP is currently broken. I'm trying to fix this for the upcoming
isabelle-dev mailing list