CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella at sandbox.cs.unipr.it 01/10/10 13:00:25 Modified files: src : ConSys.defs.hh Generator.defs.hh Generator.inlines.hh Log message: User manual comments for class Generator adjusted. Redundant detailed comments removed.