[isabelle-dev] AFP statistics
hupel at in.tum.de
Sat Oct 7 22:24:28 CEST 2017
> 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.
More information about the isabelle-dev