> 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.
isabelle-dev mailing list