The branch tag is `ppl-0_9-branch'. Work on the main trunk can now proceed as usual. In particular, the new grid's tests can be committed to the main trunk. However, please do not touch the release branch. Ciao, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it