[plt-dev] Release Announcement for v4.2.5

From: Eli Barzilay (eli at barzilay.org)
Date: Thu Apr 1 08:03:12 EDT 2010

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?

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.