new projects

[Matthew Fluet]

> I did some more looking and it seems that the only mention is in the
> CVSROOT/history file.  I tried to check-out the contification and it just
> said that it couldn't find the module, so it seems that rm -rf might not be
> too bad.  Tell me if you want me to do it.

BTW this and the other cvs history discussion, I think deleting the
references to contification in the history file and rm -rf the directory
will be sufficient.