[plt-dev] Release Announcement for v4.2.5

From: Casey Klein (clklein at eecs.northwestern.edu)
Date: Thu Apr 1 08:11:49 EDT 2010

On Thu, Apr 1, 2010 at 6:03 AM, Eli Barzilay <eli at barzilay.org> wrote:
> On Apr  1, Robby Findler wrote:
>> There were a bunch of small improvements to the way redex typesets
>> things. Not worth listing them all, but a generic bullet seems good.
>>  - A number of improvements to Redex's typesetting facilities
> And nothing on random testing?

There's only one change: redex-check became easier to use
non-interactively, by optionally returning its result instead of
printing it. But I don't know if that's worth mentioning.

Posted on the dev mailing list.