CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto at sandbox.cs.unipr.it 01/08/06 16:19:55 Modified files: src : Constraint.defs.hh Constraint.inlines.hh Generator.defs.hh Generator.inlines.hh LinExpr.defs.hh LinExpr.inlines.hh interface.cc Log message: Some progress.