The whole project started with this AFP paper: http://www21.in.tum.de/~nipkow/pubs/cicm15.html
First Max developed this just to support the statistics in the paper but then he and Lars made it part of the AFP. There is also a hidden part that generates tex files for these and a number of further statistics that I use for talks.
Concerning growth of articles. I am not sure we want to provide more finegrained statistics for every entry, but attached you find a summary slide. I cannot remember precisely what is measured, but at a first approximation it tells us that over time every second line of an AFP entry is modified.
Tobias On 28/09/2017 14:02, Makarius wrote:
The AFP statistics https://www.isa-afp.org/statistics.html is very nice -- I often show the last diagram in presentations, as a proof of success of Isabelle as application platform over the years. Who is actually responsible for this tool? Is there a chance to take into account how AFP entries evolve over time? Right now, it only shows the year of first appearance with the *current* size. Thus incrementally added sources (or whole sessions) are attributed to the wrong year. A prominent example is JinjaThreads, but newer entries like Ordinary_Differential_Equations have grown significantly, too. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Description: Adobe PDF document
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev