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

isabelle-dev mailing list

Reply via email to