[isabelle-dev] Towards the Isabelle2017 release

[Lars Hupel]

> 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
2017 release.

Cheers
Lars