Domas Mituzas wrote:
Exactly, this is why my initial mail on this issue was
just a
rambling on incremental diffs. I didn't get any opinions on them yet :)
There can be various ideas on how to deal with it, diff just last 3-5
revs, and make it rolling diff.
Incidentally, I've recently been looking into this extensively, using a
Wikipedia dataset. I have a bunch of hard numbers; I'll clean them up
and post them here in the next few days.
--
Ivan Krstic <krstic(a)fas.harvard.edu> | GPG: 0x147C722D