[PPL-devel] Polyhedra/src ConSys.cc GenSys.cc Polyhedron.c ...

[Angela Stazzone]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone at sandbox.cs.unipr.it	01/06/15 11:49:58

Modified files:
	src            : ConSys.cc GenSys.cc Polyhedron.cc 
	                 Polyhedron.defs.hh SatRow.inlines.hh 
	                 Status.defs.hh conversion.cc minimize.cc 
	                 simplify.cc 

Log message:
	Minor changes in documentation.