July 2007 - PPL-devel - BUGSENG Mailman

ppl ./NEWS ./TODO doc/definitions.dox
by Roberto Bagnara 02 Jul '07

02 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-07-02 14:14:36 Modified files: . : NEWS TODO doc : definitions.dox Log message: Use the UTF-8 encoding instead of ISO-8859. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.20… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

w3ppl/htdocs/Applications Applications.raw
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 20:55:48 Modified files: htdocs/Applications: Applications.raw Log message: Link to the library of citations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Applications/Applica…

1 0

ppl TODO
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 20:10:59 Modified files: . : TODO Log message: Added an item concerning additional documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

w3ppl/htdocs ppl.raw
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 20:00:45 Modified files: htdocs : ppl.raw Log message: Removed all references to "literate programming." Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl TODO
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 17:06:08 Modified files: . : TODO Log message: Remember to pProvide PPL-specific documentation on the use of `make check' and `make uninstall'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21…

1 0

ppl TODO
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 17:03:36 Modified files: . : TODO Log message: The Java interface has been improved: corresponding item removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.21…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 16:59:03 Modified files: htdocs/Download: Download.raw Log message: Missing double quote added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 16:56:26 Modified files: htdocs/Download: Download.raw Log message: Mention that the PPL makefiles follow the GNU standard. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs/Download Download.raw
by Roberto Bagnara 01 Jul '07

01 Jul '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-07-01 16:44:14 Modified files: htdocs/Download: Download.raw Log message: Improved the section about "Requirements for Users and Developers of the PPL". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

GNU General Public License, version 3
by Roberto Bagnara 01 Jul '07

01 Jul '07

Dear all, version 3 of the GNU General Public License (GPLv3), has been released: http://www.fsf.org/news/gplv3_launched I plan to use the copyright holder privileges to change the license of the CVS HEAD version (and thus of any future release) of the Parma Polyhedra Library to GPLv3. If you have concerns about this licensing change, please get in touch with me. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0