[isabelle-dev] More accurate AFP statistics
hupel at in.tum.de
Thu Apr 25 16:35:18 CEST 2019
> There are quite a few sharp drops which might at first suggest that
> material is being deleted. When a line is edited, is that counted as
> deleting the old line and inserting a new line?
This tool uses Git instead of Mercurial, which tracks content changes in
a more fine-granular way. As far as I understand, moving lines, even
across files, do not count as changes there. However, editing lines will
create a +/- change.
More information about the isabelle-dev