[PPL-devel] `strict' branch created

[Roberto Bagnara]

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 at cs.unipr.it