On Thu, Apr 1, 2010 at 6:03 AM, Eli Barzilay <[email protected]> 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. _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
