(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 28)\n"
            "\n"
            "    - fixed a bug in the pict generation for metafunctions"))))