Matthew Fluet fluet@CS.Cornell.EDU
Tue, 28 Aug 2001 12:17:45 -0400 (EDT)

> I think we can live with Matthew using me as a cvs proxy via email.  Matthew, I
> await my first checkout command.

Go ahead and post a copy of the source.  There are a couple of todos in
the live-transfer stuff I want to add, and I might look at some
infrastructure for 64 bit integers.