CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/09 22:47:57 Modified files: src : Constraint.cc GenSys.defs.hh LinExpression.defs.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Row.cc Row.defs.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.defs.hh SatRow.inlines.hh Variable.defs.hh protect.sed restore.sed Log message: Several improvements. Several documentation issues have been identified.