CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@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.