Dear all,

I have just created a branch called `strict' of PPL's main CVS trunk. To check it out, recognized developers (i.e., those with an account on cvs.cs.unipr.it) should use a command like

cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r strict ppl

whereas others should just follow the instructions at

http://www.cs.unipr.it/ppl/Download/cvs#read-only-access

simply adding `-r strict' to the checkout command. Of course, you should not do that from a directory where you have another directory called `ppl' ;-) All the best

Roberto