[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Freehaven CVS Commit

To: freehaven-cvs@seul.org
Subject: Freehaven CVS Commit
From: Michael J Freedman <mfreed@mit.edu>
Date: Mon, 4 Dec 2000 12:33:10 -0500
Delivery-Date: Mon, 04 Dec 2000 12:33:15 -0500
Reply-To: freehaven-dev@freehaven.net
Sender: owner-freehaven-cvs@freehaven.net

-----------------------------------------------------------------
mfreed   Mon Dec  4 12:33:10 EST 2000

Update of /home/freehaven/cvsroot/doc/mix-acc
In directory belegost.mit.edu:/tmp/cvs-serv26515

Modified Files:
	mix-acc.tex 
Log Message:
Wrote in proofs for correctness of protocols.
(David, there are a few points I want you to look at.)
Related them to interactive-protocol stuff.

***********************************************************************
To unsubscribe, send an e-mail to majordomo@seul.org with
unsubscribe freehaven-cvs       in the body. http://freehaven.net/

Prev by Date: Freehaven CVS Commit
Next by Date: Freehaven CVS Commit
Prev by thread: Freehaven CVS Commit
Next by thread: Freehaven CVS Commit
Index(es):
- Date
- Thread