new projects

Matthew Fluet fluet@CS.Cornell.EDU
Tue, 9 Oct 2001 19:38:18 -0400 (EDT)


> OK.  I'm going to shut down ssh for a few minutes while I make the changes to
> the history file and get rid of the contification directory.

Alright; I'm off for the night.  I should be able to finish up
remove-unused and drop the contification project in tomorrow morning.