History log of /seL4-l4v-10.1.1/isabelle/Admin/lib/scripts/churn_pie
Revision Date Author Comments
# 145d5042 11-Jan-2017 haftmann <none@none>

improved chart plotting
# 83d2d8dd 11-Jan-2017 haftmann <none@none>

proper treatment of utf-8

--HG--
extra : rebase_source : 9cffa7b3292e0b6eca9e0e4aa9465787e556cc4b
# 879c579f 05-Apr-2014 wenzelm <none@none>

more standard hash-bang (python *is* canonical according to Admin/PLATFORMS);
# 507e5465 05-Apr-2014 haftmann <none@none>

churning pie charts (with non-canonical prerequisites!)

--HG--
rename : Admin/churn => Admin/lib/Tools/churn