[PPL-devel] Polyhedra/ mp-3.1.1/ansi2knr.c mp-3.1.1/config ...

7 Sep 2001


      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.

[PPL-devel] Polyhedra/ mp-3.1.1/ansi2knr.c mp-3.1.1/config ...

Roberto Bagnara