[PPL-devel] BitSet and Integer are now in the PPL namespace

Please, replace the contents of your ppl/src/BitSet directory with the contents of spartacus.cs.unipr.it:/opt/ppl-distrib/BitSet. This is the only thing you should do, apart from cvs-updating the rest of your copy of the sources. Ciao,

Roberto