[PPL-devel] w3ppl/htdocs/Bugs Bugs.raw patch_ppl-0-4-2_ppl ...

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: roberto@cs.unipr.it 2002-10-28 08:20:54

Modified files: htdocs/Bugs : Bugs.raw Added files: htdocs/Bugs : patch_ppl-0-4-2_ppl-20021024

Log message: Provide a patch for the bug in LinExpression& operator-=(LinExpression&, const LinExpression&).

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