[plt-dev] Release Announcement for v4.2.1

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Jul 20 21:14:04 EDT 2009

Oh, okay.

The two main redex bullet items are, I think, define-relation and the
way 'where' clauses have been improved. I'm not sure if either
warrants mention in the release announcement (altho the latter is
something many have asked for).

Robby

On Mon, Jul 20, 2009 at 8:12 PM, Eli Barzilay<eli at barzilay.org> wrote:
> On Jul 20, Robby Findler wrote:
>> I think define-relation is new this time, in Redex...?
>
> (Most of the text I'm including at this stage is coming from scanning
> the commit messages.)
>
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                    http://barzilay.org/                   Maze is Life!
>


Posted on the dev mailing list.