Wish they'd link to what a theory of patches is, but it looks like the same one which darcs: http://darcs.net/ used. Except they tried to keep all the algorithm runtime to O(ln h) with h being length of history.