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

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Fri Apr 2 11:28:10 EDT 2010

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.


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

Posted on the dev mailing list.