new projects

[Matthew Fluet]

> I just tried an experiment on a copy of the repository, and when I did a
> rm -r of contification and then did `cvs history -a -e' it still listed the
> contification stuff.  I.e., it was not purged from it's memory.  This seems
> a bit dangerous.  Should I still go ahead and do it?

Well, how about no one touch the contification project, while I try to
track down a way to remove a module from a CVS repository.  I can't find
anything in the CVS manual I have, but I'll look around on the web.