[PPL-devel] Polyhedra/ oc/Makefile.am oc/Makefile.in oc/us ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/08 13:56:45

Modified files:
	doc            : Makefile.am Makefile.in user.doxyconf-pdf.in 
	src            : Row.cc Row.defs.hh SatMatrix.cc SatRow.cc 
	                 SatRow.defs.hh protect.sed 

Log message:
	More namespace improvements.
	Improve generation of PPL.hh.