Dear all, I am about to freeze the old w3ppl repository. I will then start moving things to the new repository. You should see commit messages when this happens. In the unlikely case some of you is editing some files, just wait for that file to appear in the new repository and commit our changes there. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it