[PPL-devel] Polyhedra/src/BitSet BitSet.cc BitSet.defs.hh ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/08/29 18:30:19

Modified files:
	src/BitSet     : BitSet.cc BitSet.defs.hh BitSet.inlines.hh 
	                 Makefile.am 

Log message:
	China synch.