November 2001 - PPL-devel - BUGSENG Mailman

The PPL 0.2 release process begins
by Roberto Bagnara 13 Nov '01

13 Nov '01

Dear all, the sources have tentatively been tagged for the release (the tag is `ppl_0_2release'). If all the tests are passed, tomorrow we will release PPL 0.2. Ciao, Roberto -- 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

ppl ChangeLog
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 21:57:53 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

w3ppl ./NEWS htdocs/ppl.raw
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 21:55:32 Modified files: . : NEWS htdocs : ppl.raw Log message: Mention that we have greatly improved the documentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.4&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

ppl ChangeLog
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 21:48:47 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 21:27:09 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Use `| ?-' everywhere a goal is introduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 21:16:29 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: `E.g.' and `i.e.' must always be followed by comma. There are no exceptions to this rule. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl/interfaces/Prolog Prolog_interface.dox
by Patricia Hill 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2001-11-13 18:14:55 Modified files: interfaces/Prolog: Prolog_interface.dox Log message: Documentation for ppl_add_consraints_and _minimize and for ppl_copy_polyhedron added. Two examples for ppl_insert_constraints added that compare with examples for those for ppl_add_consraints_and_minimize. Introductory sentence added. "To be written" replaced by "Support for XXX ...future release." Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…

1 0

ppl README
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 17:38:47 Modified files: . : README Log message: Updated for release 0.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/README.diff?cvsroot=ppl&r1=1.…

1 0

ppl configure.ac
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 17:29:10 Modified files: . : configure.ac Log message: Version number bumped to 0.2. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl ./NEWS htdocs/ppl.raw
by Roberto Bagnara 13 Nov '01

13 Nov '01

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2001-11-13 17:21:10 Modified files: . : NEWS htdocs : ppl.raw Log message: PPL 0.2 will be released on November 14, 2001. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.3&… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0