[PPL-devel] `strict' branch created

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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it