January 2006 - PPL-devel - BUGSENG Mailman

w3ppl/htdocs ppl.raw
by Roberto Bagnara 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-20 13:32:11 Modified files: htdocs : ppl.raw Log message: Draft announcement for PPL 0.8 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs abstractions.raw
by Roberto Bagnara 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-20 13:31:25 Modified files: htdocs : abstractions.raw Log message: Added an anchor to the section on bounded differences. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/abstractions.raw.dif…

1 0

w3ppl/htdocs/Contribute Contribute.raw
by Patricia Hill 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-01-20 12:55:45 Modified files: htdocs/Contribute: Contribute.raw Log message: Some improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Contribute/Contribut…

1 0

w3ppl/htdocs/Download Download.raw
by Enea Zaffanella 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-20 12:10:17 Modified files: htdocs/Download: Download.raw Log message: Corrected the name of an anchor. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Download/Download.ra…

1 0

w3ppl/htdocs Contribute/Contribute.raw images/ ...
by Roberto Bagnara 20 Jan '06

20 Jan '06

1 0

w3ppl/htdocs/Documentation Documentation.raw P ...
by Enea Zaffanella 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: zaffanella(a)cs.unipr.it 2006-01-20 11:32:13 Modified files: htdocs/Documentation: Documentation.raw Added files: htdocs/Documentation: PPL_Talk_SAS_2005.ps.gz PPL_Talk_SAS_2005.pdf Log message: Added slides of SAS 2005 paper BagnaraHMZ05. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/PPL_Ta… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/Docume…

1 0

w3ppl/htdocs/Documentation papers.raw
by Patricia Hill 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-01-20 11:02:58 Modified files: htdocs/Documentation: papers.raw Log message: Added two sections - on powersets and weakly relational domains. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/papers…

1 0

w3ppl/htdocs/Contribute Contribute.raw
by Roberto Bagnara 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2006-01-20 10:16:14 Modified files: htdocs/Contribute: Contribute.raw Log message: Added sections on porting to other platforms and writing test programs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Contribute/Contribut…

1 0

w3ppl/htdocs/Documentation papers.raw
by Patricia Hill 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2006-01-20 10:07:37 Modified files: htdocs/Documentation: papers.raw Log message: Added some historical references. Made other corrections. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Documentation/papers…

1 0

ppl configure.ac
by Roberto Bagnara 20 Jan '06

20 Jan '06

CVSROOT: /cvs/ppl Module name: ppl Branch: ppl-0_8-branch Changes by: bagnara(a)cs.unipr.it 2006-01-20 09:27:17 Modified files: . : configure.ac Log message: Update version. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0