[PPL-devel] Polyhedra/ mp-3.1.1/ansi2knr.c mp-3.1.1/config ...
Roberto Bagnara
roberto at sandbox.cs.unipr.it
Fri Sep 7 19:32:23 CEST 2001
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto at 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.
More information about the PPL-devel
mailing list