July 2002 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs/About About.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 14:06:48 Modified files: htdocs/About : About.raw Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/About/About.raw.diff…

1 0

w3ppl/htdocs details.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 14:00:50 Modified files: htdocs : details.raw Log message: Missing full-stop added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs…

1 0

w3ppl/htdocs details.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 13:59:26 Modified files: htdocs : details.raw Log message: Split into more paragraphs. Do not omit "polyhedral" in "convex polyhedral hull". Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs…

1 0

w3ppl/htdocs details.raw
by Patricia Hill 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2002-07-02 12:41:23 Modified files: htdocs : details.raw Log message: Changed the sentence on widening into a short paragraph at the end after the explanation of NNC polyhedra. It now refers to Halbwach's thesis and his 97 paper. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs…

1 0

w3ppl/htdocs details.raw
by Patricia Hill 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2002-07-02 12:23:48 Modified files: htdocs : details.raw Log message: Added stuff on NNC polyhedra. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/details.raw.diff?cvs…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 10:26:16 Modified files: htdocs/Documentation: Documentation.raw Log message: An emphasis tag was not properly closed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Documentation Makefile
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 10:22:30 Modified files: htdocs/Documentation: Makefile Log message: Typo fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

w3ppl/htdocs/Documentation Makefile
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 10:21:51 Modified files: htdocs/Documentation: Makefile Log message: Install also the PDF files. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Makefi…

1 0

w3ppl/htdocs/Documentation Documentation.raw
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 10:20:33 Modified files: htdocs/Documentation: Documentation.raw Log message: Section on PPL presentations added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Documentation PPL_Seminar_Iremia_ ...
by Roberto Bagnara 02 Jul '02

02 Jul '02

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto(a)cs.unipr.it 2002-07-02 10:15:03 Added files: htdocs/Documentation: PPL_Seminar_Iremia_2002.pdf Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Se…

1 0