CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/08/22 10:30:59 Modified files: gmp-3.1.1 : Makefile.in gmp-3.1.1/demos: Makefile.in gmp-3.1.1/mpbsd: Makefile.in gmp-3.1.1/mpbsd/tests: Makefile.in gmp-3.1.1/mpf : Makefile.in gmp-3.1.1/mpf/tests: Makefile.in gmp-3.1.1/mpfr : Makefile.in gmp-3.1.1/mpfr/tests: Makefile.in gmp-3.1.1/mpn : Makefile.in gmp-3.1.1/mpn/tests: Makefile.in gmp-3.1.1/mpq : Makefile.in gmp-3.1.1/mpq/tests: Makefile.in gmp-3.1.1/mpz : Makefile.in gmp-3.1.1/mpz/tests: Makefile.in gmp-3.1.1/tests: Makefile.in gmp-3.1.1/tests/rand: Makefile.in gmp-3.1.1/tune : Makefile.in Log message: Reconfigured.