[isabelle-dev] Pie charts
florian.haftmann at informatik.tu-muenchen.de
Mon Apr 7 15:54:20 CEST 2014
> This seems to count lines according to the last commit, but the history
> is more interesting (and lines are a bad measure anyway).
The hg man page reads:
»This command will display a histogram representing the number of
changed lines or revisions …«.
This is indeed a bit vague; in the past I did believe that this refers
to the lines over history, but this might have been a misunderstanding.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 263 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev