[PPL-devel] Polyhedra/src ConSys.cc GenSys.cc Matrix.cc Ma ...

[Angela Stazzone]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	stazzone at sandbox.cs.unipr.it	01/06/15 12:48:35

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

Log message:
	Made spell-check.