("robby" "redex.plt" 2 3) 

  - added the ability to traverse the graph generated by
    traces in order to decide if a term should be
    highlighted in red. See the traces/pred documentation
    for details.

  - added term-node functions

  - added red-name function

  - removed make-plt.ss from archive

("robby" "redex.plt" 2 2)

  - added a blurb, fixed a typo in the docs.

("robby" "redex.plt" 2 1)

  - changed the way a contract is specified on the matcher
    to get a 30% speed up on the beginner test suite.
    Thanks, Matthew for spotting that!

("robby" "redex.plt" 2 0)

  - fixed a bug in compatible-closure handling that could
    result in duplicate matches when there should only have
    been a single match.

  - 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 3)

  - Fixed a bug in the the compatible closure function; otherwise the
    same as 1.1

("robby" "redex.plt" 1 2)

  - Obsolete'd version. It used to be a first attempt at the 2.0
    revision, but now should be avoided. 

    Use 2.0 instead of this version.

("robby" "redex.plt" 1 1)

  - fixed packaging error

("robby" "redex.plt" 1 0)

  - initial release to PLaneT