CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: ericci(a)sandbox.cs.unipr.it 01/10/10 11:03:40
Modified files:
src : conversion.cc
Log message:
Used the new notation of the scalar product in the comment of this function.
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: zaffanella(a)sandbox.cs.unipr.it 01/10/10 10:34:25
Modified files:
src : Constraint.defs.hh
Log message:
Small adjustment in the comment for the class.
