CVS junk

Matthew Fluet fluet@CS.Cornell.EDU
Wed, 10 Oct 2001 08:27:31 -0400 (EDT)


> Ok, all the intertrust lines and the contification stuff have been removed
> from the history and contification has been removed from the repository.

The contification project is checked in with the paper and the
presentation.