CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto@cs.unipr.it 2004-10-24 09:18:27

Modified files: htdocs/Bugs : Bugs.raw archive.raw Added files: htdocs/Bugs : patch_ppl-0-6-1_ppl-20040915

Log message: With too much delay, mention the bug in check_containment() that is present in version 0.6.1 of the PPL.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/patch_ppl-0-6-1_... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/Bugs.raw.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/Bugs/archive.raw.diff...