[isabelle-dev] AFP statistics

[Lars Hupel]

> 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