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

While this was a very nice change to the contract library's internals
that cleans things up nicely, I don't think that it has enough
visibility to merit inclusion in the release emails.

Robby

On Fri, Apr 2, 2010 at 9:18 AM, Carl Eastlund <carl.eastlund at gmail.com> wrote:
> 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
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>