[svn.haxx.se] · SVN Dev · SVN Users · SVN Org · TSVN Dev · TSVN Users · Subclipse Dev · Subclipse Users · this month's index

Re: what proofs look like

From: Greg Hudson <ghudson_at_MIT.EDU>
Date: 2002-08-10 08:19:55 CEST

(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

This is an archived mail posted to the Subversion Dev mailing list.

This site is subject to the Apache Privacy Policy and the Apache Public Forum Archive Policy.