[plt-scheme] plt redex 1.2 released to planet

From: Robby Findler (robby at cs.uchicago.edu)
Date: Sun Jan 22 09:06:39 EST 2006

The latest version adds the capability to label edges in the gui with
the names of the reductions, and has some modest performance
improvements in the matcher (10-20% on real benchmarks).

Robby & Jacob

Posted on the users mailing list.