[isabelle-dev] Pie charts

[Florian Haftmann]

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


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140405/ecbcf47d/attachment.asc>