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
