Dear all, you have probably noticed that the branch called `lazy' has just been created. It will be devoted to that part of the development dealing with the incorporation of lazy and incremental computation techniques. To check out your copy of the branch: 1) go to a suitable, empty directory (choose a name that minimizes your chances of confusing the `lazy' branch with other branches or with the main trunk); 2) cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r lazy ppl All the best 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