CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/10/09 07:31:15

Modified files: src : ConSys.cc ConSys.defs.hh ConSys.inlines.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh GenSys.cc GenSys.defs.hh GenSys.inlines.hh Generator.cc Generator.defs.hh Generator.inlines.hh LinExpression.cc LinExpression.defs.hh LinExpression.inlines.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh Row.inlines.hh SatMatrix.cc SatMatrix.defs.hh SatMatrix.inlines.hh SatRow.cc SatRow.defs.hh SatRow.inlines.hh Status.cc Status.defs.hh Status.inlines.hh Variable.cc Variable.defs.hh Variable.inlines.hh conversion.cc globals.cc globals.hh minimize.cc ppl.cc simplify.cc

Log message: Give the right URI for the PPL web site.