CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto at sandbox.cs.unipr.it 01/09/18 14:25:20 Modified files: src/Integer : Integer.defs.hh Integer.inlines.hh Log message: Synchronize with the China development tree.