CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci@sandbox.cs.unipr.it 01/10/05 16:33:52 Modified files: src : Variable.defs.hh Variable.inlines.hh Log message: Some changes in the comments of the class Variable.