9 Sep
2001
9 Sep
'01
10:47 p.m.
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.