On Wed, Aug 06, 2008 at 12:20:17AM -0700, Jeremy Shaw wrote:
Are the darcs developers familiar with these papers (available on citeseer):
Undo Actions in Collaborative Work, Prakash & Knister 1992 Undoing Actions in Collaborative Work: Framework and Experience, Prakash & Knister 1994
The papers describe an undo mechanism for multiuser collaborative editing which sounds like how I imagine darcs patch theory to be (and, they even run into the dreaded exponential merge bug and propose a solution).
They include some formal reasoning that may be easy to adapt to darcs?
I've just had a quick read of http://citeseer.ist.psu.edu/prakash92undoing.html AFAICS this only really deals with the case where there are no conflicts, and doesn't talk about merging. Thanks Ian