>>>>> "Antonio" == Antonio Regidor Garc�a <[EMAIL PROTECTED]> writes:

    Antonio> A general hunk patch can't replace a token replace patch
    Antonio> (and vice versa), but a concrete hunk patch can replace a
    Antonio> concrete token replace patch (and vice versa).

I'm still confused by this.  Is there a difference between a "concrete
hunk patch" and a "concrete token replace patch"?  A tree pair is a
tree pair.

I think we agree on everything else at this point, there's some
difference in wording that I can adjust to, and I will avoid using
particular representations (such as "diff -urN S T") when I really
mean the general concept (such as "(S,T)").


-- 
School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp
University of Tsukuba                    Tennodai 1-1-1 Tsukuba 305-8573 JAPAN
               Ask not how you can "do" free software business;
              ask what your business can "do for" free software.

_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users

Reply via email to