[isabelle-dev] AFP statistics

Lars Hupel 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.

Cheers
Lars


More information about the isabelle-dev mailing list