[plt-dev] Release Announcement for v4.2.5 -- 2nd call

From: Carl Eastlund (carl.eastlund at gmail.com)
Date: Fri Apr 2 11:18:34 EDT 2010

On Fri, Apr 2, 2010 at 8:34 AM, Eli Barzilay <eli at barzilay.org> wrote:
> Carl:
>  - contract stuff (r18009 and probably more)

 The interface for projection-based contracts has been streamlined by the
 introduction of blame objects and keyword-based constructors.  In addition,
 custom contract structures now require only one structure property: either
 prop:contract or prop:flat-contract, as appropriate.

--Carl


Posted on the dev mailing list.