[isabelle-dev] Towards the Isabelle2017 release
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
More information about the isabelle-dev