CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/07 19:32:23 Modified files: gmp-3.1.1 : ansi2knr.c configure.in mkinstalldirs gmp-3.1.1/tests/rand: findlc.c src : Makefile.am Makefile.in src/BitSet : Makefile.in src/Integer : Makefile.in test : Makefile.am Makefile.in Log message: We may want to produce a debugging version as well. The library is now called libPPL.