(module info (lib "infotab.ss" "setup") (define name "PLT Redex") (define doc.txt "doc.txt") (define homepage "http://people.cs.uchicago.edu/~robby/plt-redex/") (define blurb (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper."))) (define required-core-version "370.3") (define primary-file "reduction-semantics.ss") (define categories '(metaprogramming)) (define release-notes (list '(pre "(\"robby\" \"redex.plt\" 3 27)\n" "\n" " - added horizontal-arrow-space, horizontal-label-space\n" " - number & variable now typeset in italics (to match the other non-terminals)\n" " - improved fresh variable generation\n" " - added `where' for bindings in metafunctions\n" " - added 'up-down mode for metafunction typesetting\n" " - added optional argument to reduction-relation->pict &\n" " reduction-relation->ps\n" " - PR 8957"))))