[plt-dev] Release Announcement for v4.2.5

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.