Hi there,
I am the maintainer of the `ppl' project, and I have just made a `cvs import' that is completely wrong. Can you undo that? As an alternative, I could rebuild the CVS repository from scratch, as I can reproduce the exact sequence of imports from our main CVS server. I am sorry to bother you about that, but I don't know how to remedy the situation otherwise. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED]