("robby" "redex.plt" 1 1) - added labels to edges for reductions when shown in GUI. See docs for reduction/name - small performance improvement to matcher (10-20% on non-trivial examples) - added letrec.ss example (and improved some of the examples to use labels) ("robby" "redex.plt" 1 0) - initial release to PLaneT