CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara@cs.unipr.it 2007-09-13 19:25:19

Modified files: . : NEWS debian : libppl-pwl.copyright.in libppl.copyright.in doc : definitions.dox devref-c-interface.tex devref.tex gpl.dox gpl.tex gpl.txt user-c-interface.tex user-prolog-interface.tex user.tex m4 : ac_cxx_proper_long_double.m4

Log message: The Parma Polyhedra Library is now released under the terms of the version 3 (or later) of the GNU General Public License.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl-pwl.copyright.in... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/debian/libppl.copyright.in.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-c-interface.tex.dif... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.tex.diff?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.dox.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.tex.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/gpl.txt.diff?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-c-interface.tex.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user-prolog-interface.tex.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/user.tex.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_cxx_proper_long_double.m...