> 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev