CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2002-07-24 14:26:36 Modified files: src : Integer.types.hh Makefile.am Log message: Document the fact that Parma_Polyhedra_Library::Integer is a synonym for GMP's mpz_class. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.types.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p...