new projects

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

> Tell me if you want me to rm -r the contification directory.

I'm for it.