Re: what proofs look like

(Recipients and subject line trimmed.)

For those who are curious, what Tom proved here is that, given a tree
delta and an original tree, you can reproduce the modified tree. Or you
can reproduce the original tree from the modified tree and the tree
delta. For this to work, a tree delta has to include information about
files which have been added, removed, or moved (arch's model of the
world doesn't seem to track copies, just moves), but you don't have to
include information about files which just sat there--except for changes
to their contents, of course.

I have no particular insight on how these formalisms are related to why
Tom finds us ridiculous to try to work with, or why we only work on
"open source" in quotes.

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@subversion.tigris.org
For additional commands, e-mail: dev-help@subversion.tigris.org
Received on Sat Aug 10 08:20:35 2002