CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2004-10-02 13:08:14 Modified files: . : NEWS Log message: Announced the new behavior of the H79_widening_assign() operator. Formally, it is a bugfix since we were already promising the new behavior in the user manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.114...