A new branch called `alt_nnc' has been created in the CVS repository containing the PPL sources. The branch, which is rooted at the symbolic tag `alt_nnc_root', is meant to host the development related to the alternative implementation of NNC polyhedra. Recognized developers can obtain a working copy of the newly created branch with a command like cvs -d cvs.cs.unipr.it:/cvs/ppl checkout -r alt_nnc ppl Please run this command into a newly created directory with a very suggestive name so that 1) you are not overwriting your working copy for the main trunk; 2) the risk of committing things to the wrong branch is reduced. 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