[PPL-devel] Polyhedra/src ConSys.defs.hh Matrix.defs.hh

CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/08/29 09:37:43

Modified files: src : ConSys.defs.hh Matrix.defs.hh

Log message: Whops... glitch fixed.