> The devel equivalent is available at > <https://devel.isa-afp.org/statistics.html> and is re-generated every > time someone pushes to the repository. Currently that one shows wrong > dependency numbers because it hasn't been adapted yet to > session-qualified imports. I'm still working on a proper fix.
The numbers on devel should now be correct again. Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev