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

improved chart plotting
# d036a7ca 30-Jun-2014 wenzelm <none@none>

tuned description: fit into 80 chars terminal;
# 507e5465 05-Apr-2014 haftmann <none@none>

churning pie charts (with non-canonical prerequisites!)

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