In isabelle: 04d0083cb9e5 afp: 6701af7fb8db
there is the possibility to generate funny pie charts: http://www21.in.tum.de/~haftmann/misc/pie_isabelle.pdf http://www21.in.tum.de/~haftmann/misc/pie_afp.pdf e.g. using isabelle churn_pie '' --format=pdf > ~/data/pie_isabelle.pdf isabelle afp_churn_pie --format=pdf > ~/data/pie_afp.pdf This requires python pychart, available via Pypi or (on debian-based systems) package python-pychart. The setup is a little ad-hoc, suggestions welcome. Having a look at the pie charts reveals that the tables for user aliases are note that well maintained (duplicates etc.). I am too little involved to cleanup them myself, but Admin/user-aliases resp. admin/user-aliases Cheers, Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
