[isabelle-dev] Towards the Isabelle2017 release

Lars Hupel hupel at in.tum.de
Fri Sep 15 16:21:37 CEST 2017

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


More information about the isabelle-dev mailing list