Remove extra dirs.

racket · Dec 2, 2014 · e402d6f · e402d6f
1 parent 364e8d7
commit e402d6f
Show file tree

Hide file tree

Showing 372 changed files with 0 additions and 0 deletions.
diff --git a/pkgs/redex-pkgs/redex-benchmark/info.rkt → redex-benchmark/info.rkt b/pkgs/redex-pkgs/redex-benchmark/info.rkt → redex-benchmark/info.rkt
diff --git a/...-pkgs/redex-benchmark/redex/benchmark.rkt → redex-benchmark/redex/benchmark.rkt b/...-pkgs/redex-benchmark/redex/benchmark.rkt → redex-benchmark/redex/benchmark.rkt
diff --git a/...hmark/redex/benchmark/models/all-info.rkt → ...hmark/redex/benchmark/models/all-info.rkt b/...hmark/redex/benchmark/models/all-info.rkt → ...hmark/redex/benchmark/models/all-info.rkt
diff --git a/...chmark/models/delim-cont/delim-cont-1.rkt → ...chmark/models/delim-cont/delim-cont-1.rkt b/...chmark/models/delim-cont/delim-cont-1.rkt → ...chmark/models/delim-cont/delim-cont-1.rkt
diff --git a/...chmark/models/delim-cont/delim-cont-2.rkt → ...chmark/models/delim-cont/delim-cont-2.rkt b/...chmark/models/delim-cont/delim-cont-2.rkt → ...chmark/models/delim-cont/delim-cont-2.rkt
diff --git a/...chmark/models/delim-cont/delim-cont-3.rkt → ...chmark/models/delim-cont/delim-cont-3.rkt b/...chmark/models/delim-cont/delim-cont-3.rkt → ...chmark/models/delim-cont/delim-cont-3.rkt
diff --git a/...ark/models/delim-cont/delim-cont-info.rkt → ...ark/models/delim-cont/delim-cont-info.rkt b/...ark/models/delim-cont/delim-cont-info.rkt → ...ark/models/delim-cont/delim-cont-info.rkt
diff --git a/...enchmark/models/delim-cont/delim-cont.rkt → ...enchmark/models/delim-cont/delim-cont.rkt b/...enchmark/models/delim-cont/delim-cont.rkt → ...enchmark/models/delim-cont/delim-cont.rkt
diff --git a/...enchmark/models/delim-cont/generators.rkt → ...enchmark/models/delim-cont/generators.rkt b/...enchmark/models/delim-cont/generators.rkt → ...enchmark/models/delim-cont/generators.rkt
diff --git a/...edex/benchmark/models/delim-cont/test.rkt → ...edex/benchmark/models/delim-cont/test.rkt b/...edex/benchmark/models/delim-cont/test.rkt → ...edex/benchmark/models/delim-cont/test.rkt
diff --git a/...enchmark/models/delim-cont/typed-info.rkt → ...enchmark/models/delim-cont/typed-info.rkt b/...enchmark/models/delim-cont/typed-info.rkt → ...enchmark/models/delim-cont/typed-info.rkt
diff --git a/...edex/benchmark/models/delim-cont/util.rkt → ...edex/benchmark/models/delim-cont/util.rkt b/...edex/benchmark/models/delim-cont/util.rkt → ...edex/benchmark/models/delim-cont/util.rkt
diff --git a/.../benchmark/models/let-poly/generators.rkt → .../benchmark/models/let-poly/generators.rkt b/.../benchmark/models/let-poly/generators.rkt → .../benchmark/models/let-poly/generators.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-1.rkt → .../benchmark/models/let-poly/let-poly-1.rkt b/.../benchmark/models/let-poly/let-poly-1.rkt → .../benchmark/models/let-poly/let-poly-1.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-2.rkt → .../benchmark/models/let-poly/let-poly-2.rkt b/.../benchmark/models/let-poly/let-poly-2.rkt → .../benchmark/models/let-poly/let-poly-2.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-3.rkt → .../benchmark/models/let-poly/let-poly-3.rkt b/.../benchmark/models/let-poly/let-poly-3.rkt → .../benchmark/models/let-poly/let-poly-3.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-4.rkt → .../benchmark/models/let-poly/let-poly-4.rkt b/.../benchmark/models/let-poly/let-poly-4.rkt → .../benchmark/models/let-poly/let-poly-4.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-5.rkt → .../benchmark/models/let-poly/let-poly-5.rkt b/.../benchmark/models/let-poly/let-poly-5.rkt → .../benchmark/models/let-poly/let-poly-5.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-6.rkt → .../benchmark/models/let-poly/let-poly-6.rkt b/.../benchmark/models/let-poly/let-poly-6.rkt → .../benchmark/models/let-poly/let-poly-6.rkt
diff --git a/.../benchmark/models/let-poly/let-poly-7.rkt → .../benchmark/models/let-poly/let-poly-7.rkt b/.../benchmark/models/let-poly/let-poly-7.rkt → .../benchmark/models/let-poly/let-poly-7.rkt
diff --git a/...nchmark/models/let-poly/let-poly-info.rkt → ...nchmark/models/let-poly/let-poly-info.rkt b/...nchmark/models/let-poly/let-poly-info.rkt → ...nchmark/models/let-poly/let-poly-info.rkt
diff --git a/.../redex/benchmark/models/let-poly/util.rkt → .../redex/benchmark/models/let-poly/util.rkt b/.../redex/benchmark/models/let-poly/util.rkt → .../redex/benchmark/models/let-poly/util.rkt
diff --git a/...chmark/models/list-machine/generators.rkt → ...chmark/models/list-machine/generators.rkt b/...chmark/models/list-machine/generators.rkt → ...chmark/models/list-machine/generators.rkt
diff --git a/...rk/models/list-machine/list-machine-1.rkt → ...rk/models/list-machine/list-machine-1.rkt b/...rk/models/list-machine/list-machine-1.rkt → ...rk/models/list-machine/list-machine-1.rkt
diff --git a/...rk/models/list-machine/list-machine-2.rkt → ...rk/models/list-machine/list-machine-2.rkt b/...rk/models/list-machine/list-machine-2.rkt → ...rk/models/list-machine/list-machine-2.rkt
diff --git a/...rk/models/list-machine/list-machine-3.rkt → ...rk/models/list-machine/list-machine-3.rkt b/...rk/models/list-machine/list-machine-3.rkt → ...rk/models/list-machine/list-machine-3.rkt
diff --git a/...models/list-machine/list-machine-info.rkt → ...models/list-machine/list-machine-info.rkt b/...models/list-machine/list-machine-info.rkt → ...models/list-machine/list-machine-info.rkt
diff --git a/...mark/models/list-machine/ls-typed-gen.rkt → ...mark/models/list-machine/ls-typed-gen.rkt b/...mark/models/list-machine/ls-typed-gen.rkt → ...mark/models/list-machine/ls-typed-gen.rkt
diff --git a/...chmark/models/list-machine/typed-info.rkt → ...chmark/models/list-machine/typed-info.rkt b/...chmark/models/list-machine/typed-info.rkt → ...chmark/models/list-machine/typed-info.rkt
diff --git a/...ex/benchmark/models/list-machine/util.rkt → ...ex/benchmark/models/list-machine/util.rkt b/...ex/benchmark/models/list-machine/util.rkt → ...ex/benchmark/models/list-machine/util.rkt
diff --git a/...benchmark/models/poly-stlc/generators.rkt → ...benchmark/models/poly-stlc/generators.rkt b/...benchmark/models/poly-stlc/generators.rkt → ...benchmark/models/poly-stlc/generators.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-1.rkt → ...enchmark/models/poly-stlc/poly-stlc-1.rkt b/...enchmark/models/poly-stlc/poly-stlc-1.rkt → ...enchmark/models/poly-stlc/poly-stlc-1.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-2.rkt → ...enchmark/models/poly-stlc/poly-stlc-2.rkt b/...enchmark/models/poly-stlc/poly-stlc-2.rkt → ...enchmark/models/poly-stlc/poly-stlc-2.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-3.rkt → ...enchmark/models/poly-stlc/poly-stlc-3.rkt b/...enchmark/models/poly-stlc/poly-stlc-3.rkt → ...enchmark/models/poly-stlc/poly-stlc-3.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-4.rkt → ...enchmark/models/poly-stlc/poly-stlc-4.rkt b/...enchmark/models/poly-stlc/poly-stlc-4.rkt → ...enchmark/models/poly-stlc/poly-stlc-4.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-5.rkt → ...enchmark/models/poly-stlc/poly-stlc-5.rkt b/...enchmark/models/poly-stlc/poly-stlc-5.rkt → ...enchmark/models/poly-stlc/poly-stlc-5.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-6.rkt → ...enchmark/models/poly-stlc/poly-stlc-6.rkt b/...enchmark/models/poly-stlc/poly-stlc-6.rkt → ...enchmark/models/poly-stlc/poly-stlc-6.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-7.rkt → ...enchmark/models/poly-stlc/poly-stlc-7.rkt b/...enchmark/models/poly-stlc/poly-stlc-7.rkt → ...enchmark/models/poly-stlc/poly-stlc-7.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-8.rkt → ...enchmark/models/poly-stlc/poly-stlc-8.rkt b/...enchmark/models/poly-stlc/poly-stlc-8.rkt → ...enchmark/models/poly-stlc/poly-stlc-8.rkt
diff --git a/...enchmark/models/poly-stlc/poly-stlc-9.rkt → ...enchmark/models/poly-stlc/poly-stlc-9.rkt b/...enchmark/models/poly-stlc/poly-stlc-9.rkt → ...enchmark/models/poly-stlc/poly-stlc-9.rkt
diff --git a/...hmark/models/poly-stlc/poly-stlc-info.rkt → ...hmark/models/poly-stlc/poly-stlc-info.rkt b/...hmark/models/poly-stlc/poly-stlc-info.rkt → ...hmark/models/poly-stlc/poly-stlc-info.rkt
diff --git a/...benchmark/models/poly-stlc/typed-info.rkt → ...benchmark/models/poly-stlc/typed-info.rkt b/...benchmark/models/poly-stlc/typed-info.rkt → ...benchmark/models/poly-stlc/typed-info.rkt
diff --git a/...redex/benchmark/models/poly-stlc/util.rkt → ...redex/benchmark/models/poly-stlc/util.rkt b/...redex/benchmark/models/poly-stlc/util.rkt → ...redex/benchmark/models/poly-stlc/util.rkt
diff --git a/...x/benchmark/models/rbtrees/generators.rkt → ...x/benchmark/models/rbtrees/generators.rkt b/...x/benchmark/models/rbtrees/generators.rkt → ...x/benchmark/models/rbtrees/generators.rkt
diff --git a/...ex/benchmark/models/rbtrees/rbtrees-1.rkt → ...ex/benchmark/models/rbtrees/rbtrees-1.rkt b/...ex/benchmark/models/rbtrees/rbtrees-1.rkt → ...ex/benchmark/models/rbtrees/rbtrees-1.rkt
diff --git a/...ex/benchmark/models/rbtrees/rbtrees-2.rkt → ...ex/benchmark/models/rbtrees/rbtrees-2.rkt b/...ex/benchmark/models/rbtrees/rbtrees-2.rkt → ...ex/benchmark/models/rbtrees/rbtrees-2.rkt
diff --git a/...ex/benchmark/models/rbtrees/rbtrees-3.rkt → ...ex/benchmark/models/rbtrees/rbtrees-3.rkt b/...ex/benchmark/models/rbtrees/rbtrees-3.rkt → ...ex/benchmark/models/rbtrees/rbtrees-3.rkt
diff --git a/...benchmark/models/rbtrees/rbtrees-info.rkt → ...benchmark/models/rbtrees/rbtrees-info.rkt b/...benchmark/models/rbtrees/rbtrees-info.rkt → ...benchmark/models/rbtrees/rbtrees-info.rkt
diff --git a/...x/benchmark/models/rbtrees/typed-info.rkt → ...x/benchmark/models/rbtrees/typed-info.rkt b/...x/benchmark/models/rbtrees/typed-info.rkt → ...x/benchmark/models/rbtrees/typed-info.rkt
diff --git a/...k/redex/benchmark/models/rbtrees/util.rkt → ...k/redex/benchmark/models/rbtrees/util.rkt b/...k/redex/benchmark/models/rbtrees/util.rkt → ...k/redex/benchmark/models/rbtrees/util.rkt
diff --git a/...redex/benchmark/models/rvm/generators.rkt → ...redex/benchmark/models/rvm/generators.rkt b/...redex/benchmark/models/rvm/generators.rkt → ...redex/benchmark/models/rvm/generators.rkt
diff --git a/...edex/benchmark/models/rvm/jdg-grammar.rkt → ...edex/benchmark/models/rvm/jdg-grammar.rkt b/...edex/benchmark/models/rvm/jdg-grammar.rkt → ...edex/benchmark/models/rvm/jdg-grammar.rkt
diff --git a/...ark/redex/benchmark/models/rvm/rvm-14.rkt → ...ark/redex/benchmark/models/rvm/rvm-14.rkt b/...ark/redex/benchmark/models/rvm/rvm-14.rkt → ...ark/redex/benchmark/models/rvm/rvm-14.rkt
diff --git a/...ark/redex/benchmark/models/rvm/rvm-15.rkt → ...ark/redex/benchmark/models/rvm/rvm-15.rkt b/...ark/redex/benchmark/models/rvm/rvm-15.rkt → ...ark/redex/benchmark/models/rvm/rvm-15.rkt
diff --git a/...mark/redex/benchmark/models/rvm/rvm-2.rkt → ...mark/redex/benchmark/models/rvm/rvm-2.rkt b/...mark/redex/benchmark/models/rvm/rvm-2.rkt → ...mark/redex/benchmark/models/rvm/rvm-2.rkt
diff --git a/...mark/redex/benchmark/models/rvm/rvm-3.rkt → ...mark/redex/benchmark/models/rvm/rvm-3.rkt b/...mark/redex/benchmark/models/rvm/rvm-3.rkt → ...mark/redex/benchmark/models/rvm/rvm-3.rkt
diff --git a/...mark/redex/benchmark/models/rvm/rvm-4.rkt → ...mark/redex/benchmark/models/rvm/rvm-4.rkt b/...mark/redex/benchmark/models/rvm/rvm-4.rkt → ...mark/redex/benchmark/models/rvm/rvm-4.rkt
diff --git a/...mark/redex/benchmark/models/rvm/rvm-5.rkt → ...mark/redex/benchmark/models/rvm/rvm-5.rkt b/...mark/redex/benchmark/models/rvm/rvm-5.rkt → ...mark/redex/benchmark/models/rvm/rvm-5.rkt
diff --git a/...mark/redex/benchmark/models/rvm/rvm-6.rkt → ...mark/redex/benchmark/models/rvm/rvm-6.rkt b/...mark/redex/benchmark/models/rvm/rvm-6.rkt → ...mark/redex/benchmark/models/rvm/rvm-6.rkt
diff --git a/...k/redex/benchmark/models/rvm/rvm-info.rkt → ...k/redex/benchmark/models/rvm/rvm-info.rkt b/...k/redex/benchmark/models/rvm/rvm-info.rkt → ...k/redex/benchmark/models/rvm/rvm-info.rkt
diff --git a/...redex/benchmark/models/rvm/typed-info.rkt → ...redex/benchmark/models/rvm/typed-info.rkt b/...redex/benchmark/models/rvm/typed-info.rkt → ...redex/benchmark/models/rvm/typed-info.rkt
diff --git a/...hmark/redex/benchmark/models/rvm/util.rkt → ...hmark/redex/benchmark/models/rvm/util.rkt b/...hmark/redex/benchmark/models/rvm/util.rkt → ...hmark/redex/benchmark/models/rvm/util.rkt
diff --git a/.../redex/benchmark/models/rvm/verif-jdg.rkt → .../redex/benchmark/models/rvm/verif-jdg.rkt b/.../redex/benchmark/models/rvm/verif-jdg.rkt → .../redex/benchmark/models/rvm/verif-jdg.rkt
diff --git a/...enchmark/models/stlc+lists/generators.rkt → ...enchmark/models/stlc+lists/generators.rkt b/...enchmark/models/stlc+lists/generators.rkt → ...enchmark/models/stlc+lists/generators.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-1.rkt → ...ex/benchmark/models/stlc+lists/stlc-1.rkt b/...ex/benchmark/models/stlc+lists/stlc-1.rkt → ...ex/benchmark/models/stlc+lists/stlc-1.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-2.rkt → ...ex/benchmark/models/stlc+lists/stlc-2.rkt b/...ex/benchmark/models/stlc+lists/stlc-2.rkt → ...ex/benchmark/models/stlc+lists/stlc-2.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-3.rkt → ...ex/benchmark/models/stlc+lists/stlc-3.rkt b/...ex/benchmark/models/stlc+lists/stlc-3.rkt → ...ex/benchmark/models/stlc+lists/stlc-3.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-4.rkt → ...ex/benchmark/models/stlc+lists/stlc-4.rkt b/...ex/benchmark/models/stlc+lists/stlc-4.rkt → ...ex/benchmark/models/stlc+lists/stlc-4.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-5.rkt → ...ex/benchmark/models/stlc+lists/stlc-5.rkt b/...ex/benchmark/models/stlc+lists/stlc-5.rkt → ...ex/benchmark/models/stlc+lists/stlc-5.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-6.rkt → ...ex/benchmark/models/stlc+lists/stlc-6.rkt b/...ex/benchmark/models/stlc+lists/stlc-6.rkt → ...ex/benchmark/models/stlc+lists/stlc-6.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-7.rkt → ...ex/benchmark/models/stlc+lists/stlc-7.rkt b/...ex/benchmark/models/stlc+lists/stlc-7.rkt → ...ex/benchmark/models/stlc+lists/stlc-7.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-8.rkt → ...ex/benchmark/models/stlc+lists/stlc-8.rkt b/...ex/benchmark/models/stlc+lists/stlc-8.rkt → ...ex/benchmark/models/stlc+lists/stlc-8.rkt
diff --git a/...ex/benchmark/models/stlc+lists/stlc-9.rkt → ...ex/benchmark/models/stlc+lists/stlc-9.rkt b/...ex/benchmark/models/stlc+lists/stlc-9.rkt → ...ex/benchmark/models/stlc+lists/stlc-9.rkt
diff --git a/...benchmark/models/stlc+lists/stlc-info.rkt → ...benchmark/models/stlc+lists/stlc-info.rkt b/...benchmark/models/stlc+lists/stlc-info.rkt → ...benchmark/models/stlc+lists/stlc-info.rkt
diff --git a/...enchmark/models/stlc+lists/typed-info.rkt → ...enchmark/models/stlc+lists/typed-info.rkt b/...enchmark/models/stlc+lists/typed-info.rkt → ...enchmark/models/stlc+lists/typed-info.rkt
diff --git a/...edex/benchmark/models/stlc+lists/util.rkt → ...edex/benchmark/models/stlc+lists/util.rkt b/...edex/benchmark/models/stlc+lists/util.rkt → ...edex/benchmark/models/stlc+lists/util.rkt
diff --git a/...enchmark/models/stlc-subst/generators.rkt → ...enchmark/models/stlc-subst/generators.rkt b/...enchmark/models/stlc-subst/generators.rkt → ...enchmark/models/stlc-subst/generators.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-1.rkt → ...enchmark/models/stlc-subst/stlc-sub-1.rkt b/...enchmark/models/stlc-subst/stlc-sub-1.rkt → ...enchmark/models/stlc-subst/stlc-sub-1.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-2.rkt → ...enchmark/models/stlc-subst/stlc-sub-2.rkt b/...enchmark/models/stlc-subst/stlc-sub-2.rkt → ...enchmark/models/stlc-subst/stlc-sub-2.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-3.rkt → ...enchmark/models/stlc-subst/stlc-sub-3.rkt b/...enchmark/models/stlc-subst/stlc-sub-3.rkt → ...enchmark/models/stlc-subst/stlc-sub-3.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-4.rkt → ...enchmark/models/stlc-subst/stlc-sub-4.rkt b/...enchmark/models/stlc-subst/stlc-sub-4.rkt → ...enchmark/models/stlc-subst/stlc-sub-4.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-5.rkt → ...enchmark/models/stlc-subst/stlc-sub-5.rkt b/...enchmark/models/stlc-subst/stlc-sub-5.rkt → ...enchmark/models/stlc-subst/stlc-sub-5.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-6.rkt → ...enchmark/models/stlc-subst/stlc-sub-6.rkt b/...enchmark/models/stlc-subst/stlc-sub-6.rkt → ...enchmark/models/stlc-subst/stlc-sub-6.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-7.rkt → ...enchmark/models/stlc-subst/stlc-sub-7.rkt b/...enchmark/models/stlc-subst/stlc-sub-7.rkt → ...enchmark/models/stlc-subst/stlc-sub-7.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-8.rkt → ...enchmark/models/stlc-subst/stlc-sub-8.rkt b/...enchmark/models/stlc-subst/stlc-sub-8.rkt → ...enchmark/models/stlc-subst/stlc-sub-8.rkt
diff --git a/...enchmark/models/stlc-subst/stlc-sub-9.rkt → ...enchmark/models/stlc-subst/stlc-sub-9.rkt b/...enchmark/models/stlc-subst/stlc-sub-9.rkt → ...enchmark/models/stlc-subst/stlc-sub-9.rkt
diff --git a/...hmark/models/stlc-subst/stlc-sub-info.rkt → ...hmark/models/stlc-subst/stlc-sub-info.rkt b/...hmark/models/stlc-subst/stlc-sub-info.rkt → ...hmark/models/stlc-subst/stlc-sub-info.rkt
diff --git a/...enchmark/models/stlc-subst/typed-info.rkt → ...enchmark/models/stlc-subst/typed-info.rkt b/...enchmark/models/stlc-subst/typed-info.rkt → ...enchmark/models/stlc-subst/typed-info.rkt
diff --git a/...edex/benchmark/models/stlc-subst/util.rkt → ...edex/benchmark/models/stlc-subst/util.rkt b/...edex/benchmark/models/stlc-subst/util.rkt → ...edex/benchmark/models/stlc-subst/util.rkt
diff --git a/.../redex/benchmark/models/type-all-info.rkt → .../redex/benchmark/models/type-all-info.rkt b/.../redex/benchmark/models/type-all-info.rkt → .../redex/benchmark/models/type-all-info.rkt
diff --git a/...redex/benchmark/models/util/info-util.rkt → ...redex/benchmark/models/util/info-util.rkt b/...redex/benchmark/models/util/info-util.rkt → ...redex/benchmark/models/util/info-util.rkt
diff --git a/...hmark/redex/benchmark/private/gen-run.rkt → ...hmark/redex/benchmark/private/gen-run.rkt b/...hmark/redex/benchmark/private/gen-run.rkt → ...hmark/redex/benchmark/private/gen-run.rkt
diff --git a/...rk/redex/benchmark/private/graph-data.rkt → ...rk/redex/benchmark/private/graph-data.rkt b/...rk/redex/benchmark/private/graph-data.rkt → ...rk/redex/benchmark/private/graph-data.rkt
diff --git a/...hmark/redex/benchmark/private/logging.rkt → ...hmark/redex/benchmark/private/logging.rkt b/...hmark/redex/benchmark/private/logging.rkt → ...hmark/redex/benchmark/private/logging.rkt
diff --git a/...rk/redex/benchmark/private/plot-lines.rkt → ...rk/redex/benchmark/private/plot-lines.rkt b/...rk/redex/benchmark/private/plot-lines.rkt → ...rk/redex/benchmark/private/plot-lines.rkt
diff --git a/...hmark/redex/benchmark/private/rewrite.rkt → ...hmark/redex/benchmark/private/rewrite.rkt b/...hmark/redex/benchmark/private/rewrite.rkt → ...hmark/redex/benchmark/private/rewrite.rkt
diff --git a/...hmark/redex/benchmark/private/rw-defs.rkt → ...hmark/redex/benchmark/private/rw-defs.rkt b/...hmark/redex/benchmark/private/rw-defs.rkt → ...hmark/redex/benchmark/private/rw-defs.rkt
diff --git a/...nchmark/redex/benchmark/run-benchmark.rkt → ...nchmark/redex/benchmark/run-benchmark.rkt b/...nchmark/redex/benchmark/run-benchmark.rkt → ...nchmark/redex/benchmark/run-benchmark.rkt
diff --git a/...nchmark/redex/benchmark/run-generator.rkt → ...nchmark/redex/benchmark/run-generator.rkt b/...nchmark/redex/benchmark/run-generator.rkt → ...nchmark/redex/benchmark/run-generator.rkt
diff --git a/pkgs/redex-pkgs/redex-doc/LICENSE.txt → redex-doc/LICENSE.txt b/pkgs/redex-pkgs/redex-doc/LICENSE.txt → redex-doc/LICENSE.txt
diff --git a/pkgs/redex-pkgs/redex-doc/info.rkt → redex-doc/info.rkt b/pkgs/redex-pkgs/redex-doc/info.rkt → redex-doc/info.rkt
diff --git a/pkgs/redex-pkgs/redex-doc/redex/info.rkt → redex-doc/redex/info.rkt b/pkgs/redex-pkgs/redex-doc/redex/info.rkt → redex-doc/redex/info.rkt
diff --git a/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl → redex-doc/redex/redex.scrbl b/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl → redex-doc/redex/redex.scrbl
diff --git a/.../redex/scribblings/benchmark-models.scrbl → .../redex/scribblings/benchmark-models.scrbl b/.../redex/scribblings/benchmark-models.scrbl → .../redex/scribblings/benchmark-models.scrbl
diff --git a/...dex-doc/redex/scribblings/benchmark.scrbl → redex-doc/redex/scribblings/benchmark.scrbl b/...dex-doc/redex/scribblings/benchmark.scrbl → redex-doc/redex/scribblings/benchmark.scrbl
diff --git a/.../redex-doc/redex/scribblings/bug-info.rkt → redex-doc/redex/scribblings/bug-info.rkt b/.../redex-doc/redex/scribblings/bug-info.rkt → redex-doc/redex/scribblings/bug-info.rkt
diff --git a/...pkgs/redex-doc/redex/scribblings/cite.rkt → redex-doc/redex/scribblings/cite.rkt b/...pkgs/redex-doc/redex/scribblings/cite.rkt → redex-doc/redex/scribblings/cite.rkt
diff --git a/...ings/dynamic-typesetting-and-macros.scrbl → ...ings/dynamic-typesetting-and-macros.scrbl b/...ings/dynamic-typesetting-and-macros.scrbl → ...ings/dynamic-typesetting-and-macros.scrbl
diff --git a/...pkgs/redex-doc/redex/scribblings/info.rkt → redex-doc/redex/scribblings/info.rkt b/...pkgs/redex-doc/redex/scribblings/info.rkt → redex-doc/redex/scribblings/info.rkt
diff --git a/...gs/redex-doc/redex/scribblings/mod-fx.rkt → redex-doc/redex/scribblings/mod-fx.rkt b/...gs/redex-doc/redex/scribblings/mod-fx.rkt → redex-doc/redex/scribblings/mod-fx.rkt
diff --git a/...kgs/redex-doc/redex/scribblings/ref.scrbl → redex-doc/redex/scribblings/ref.scrbl b/...kgs/redex-doc/redex/scribblings/ref.scrbl → redex-doc/redex/scribblings/ref.scrbl
diff --git a/.../redex-doc/redex/scribblings/tut-util.rkt → redex-doc/redex/scribblings/tut-util.rkt b/.../redex-doc/redex/scribblings/tut-util.rkt → redex-doc/redex/scribblings/tut-util.rkt
diff --git a/...kgs/redex-doc/redex/scribblings/tut.scrbl → redex-doc/redex/scribblings/tut.scrbl b/...kgs/redex-doc/redex/scribblings/tut.scrbl → redex-doc/redex/scribblings/tut.scrbl
diff --git a/.../scribblings/typesetting-and-macros.scrbl → .../scribblings/typesetting-and-macros.scrbl b/.../scribblings/typesetting-and-macros.scrbl → .../scribblings/typesetting-and-macros.scrbl
diff --git a/pkgs/redex-pkgs/redex-examples/LICENSE.txt → redex-examples/LICENSE.txt b/pkgs/redex-pkgs/redex-examples/LICENSE.txt → redex-examples/LICENSE.txt
diff --git a/pkgs/redex-pkgs/redex-examples/info.rkt → redex-examples/info.rkt b/pkgs/redex-pkgs/redex-examples/info.rkt → redex-examples/info.rkt
diff --git a/...pkgs/redex-examples/redex/examples/README → redex-examples/redex/examples/README b/...pkgs/redex-examples/redex/examples/README → redex-examples/redex/examples/README
diff --git a/...ex-examples/redex/examples/arithmetic.rkt → redex-examples/redex/examples/arithmetic.rkt b/...ex-examples/redex/examples/arithmetic.rkt → redex-examples/redex/examples/arithmetic.rkt
diff --git a/...edex-examples/redex/examples/beginner.rkt → redex-examples/redex/examples/beginner.rkt b/...edex-examples/redex/examples/beginner.rkt → redex-examples/redex/examples/beginner.rkt
diff --git a/...ex-examples/redex/examples/cbn-letrec.rkt → redex-examples/redex/examples/cbn-letrec.rkt b/...ex-examples/redex/examples/cbn-letrec.rkt → redex-examples/redex/examples/cbn-letrec.rkt
diff --git a/.../redex-examples/redex/examples/church.rkt → redex-examples/redex/examples/church.rkt b/.../redex-examples/redex/examples/church.rkt → redex-examples/redex/examples/church.rkt
diff --git a/...x-examples/redex/examples/combinators.rkt → ...x-examples/redex/examples/combinators.rkt b/...x-examples/redex/examples/combinators.rkt → ...x-examples/redex/examples/combinators.rkt
diff --git a/...les/redex/examples/compatible-closure.rkt → ...les/redex/examples/compatible-closure.rkt b/...les/redex/examples/compatible-closure.rkt → ...les/redex/examples/compatible-closure.rkt
diff --git a/...examples/cont-mark-transform/CMT-test.rkt → ...examples/cont-mark-transform/CMT-test.rkt b/...examples/cont-mark-transform/CMT-test.rkt → ...examples/cont-mark-transform/CMT-test.rkt
diff --git a/...edex/examples/cont-mark-transform/CMT.rkt → ...edex/examples/cont-mark-transform/CMT.rkt b/...edex/examples/cont-mark-transform/CMT.rkt → ...edex/examples/cont-mark-transform/CMT.rkt
diff --git a/...cont-mark-transform/SL-semantics-test.rkt → ...cont-mark-transform/SL-semantics-test.rkt b/...cont-mark-transform/SL-semantics-test.rkt → ...cont-mark-transform/SL-semantics-test.rkt
diff --git a/...ples/cont-mark-transform/SL-semantics.rkt → ...ples/cont-mark-transform/SL-semantics.rkt b/...ples/cont-mark-transform/SL-semantics.rkt → ...ples/cont-mark-transform/SL-semantics.rkt
diff --git a/...xamples/cont-mark-transform/SL-syntax.rkt → ...xamples/cont-mark-transform/SL-syntax.rkt b/...xamples/cont-mark-transform/SL-syntax.rkt → ...xamples/cont-mark-transform/SL-syntax.rkt
diff --git a/...cont-mark-transform/TL-semantics-test.rkt → ...cont-mark-transform/TL-semantics-test.rkt b/...cont-mark-transform/TL-semantics-test.rkt → ...cont-mark-transform/TL-semantics-test.rkt
diff --git a/...ples/cont-mark-transform/TL-semantics.rkt → ...ples/cont-mark-transform/TL-semantics.rkt b/...ples/cont-mark-transform/TL-semantics.rkt → ...ples/cont-mark-transform/TL-semantics.rkt
diff --git a/...xamples/cont-mark-transform/TL-syntax.rkt → ...xamples/cont-mark-transform/TL-syntax.rkt b/...xamples/cont-mark-transform/TL-syntax.rkt → ...xamples/cont-mark-transform/TL-syntax.rkt
diff --git a/...examples/cont-mark-transform/all-test.rkt → ...examples/cont-mark-transform/all-test.rkt b/...examples/cont-mark-transform/all-test.rkt → ...examples/cont-mark-transform/all-test.rkt
diff --git a/...x/examples/cont-mark-transform/common.rkt → ...x/examples/cont-mark-transform/common.rkt b/...x/examples/cont-mark-transform/common.rkt → ...x/examples/cont-mark-transform/common.rkt
diff --git a/.../cont-mark-transform/randomized-tests.rkt → .../cont-mark-transform/randomized-tests.rkt b/.../cont-mark-transform/randomized-tests.rkt → .../cont-mark-transform/randomized-tests.rkt
diff --git a/...xamples/cont-mark-transform/test-util.rkt → ...xamples/cont-mark-transform/test-util.rkt b/...xamples/cont-mark-transform/test-util.rkt → ...xamples/cont-mark-transform/test-util.rkt
diff --git a/...dex-examples/redex/examples/contracts.rkt → redex-examples/redex/examples/contracts.rkt b/...dex-examples/redex/examples/contracts.rkt → redex-examples/redex/examples/contracts.rkt
diff --git a/...amples/define-judgment-form/multi-val.rkt → ...amples/define-judgment-form/multi-val.rkt b/...amples/define-judgment-form/multi-val.rkt → ...amples/define-judgment-form/multi-val.rkt
diff --git a/...dex/examples/define-judgment-form/sos.rkt → ...dex/examples/define-judgment-form/sos.rkt b/...dex/examples/define-judgment-form/sos.rkt → ...dex/examples/define-judgment-form/sos.rkt
diff --git a/...udgment-form/typing-rules-no-ellipses.rkt → ...udgment-form/typing-rules-no-ellipses.rkt b/...udgment-form/typing-rules-no-ellipses.rkt → ...udgment-form/typing-rules-no-ellipses.rkt
diff --git a/...les/define-judgment-form/typing-rules.rkt → ...les/define-judgment-form/typing-rules.rkt b/...les/define-judgment-form/typing-rules.rkt → ...les/define-judgment-form/typing-rules.rkt
diff --git a/...ples/redex/examples/delim-cont/README.txt → ...ples/redex/examples/delim-cont/README.txt b/...ples/redex/examples/delim-cont/README.txt → ...ples/redex/examples/delim-cont/README.txt
diff --git a/...les/redex/examples/delim-cont/grammar.rkt → ...les/redex/examples/delim-cont/grammar.rkt b/...les/redex/examples/delim-cont/grammar.rkt → ...les/redex/examples/delim-cont/grammar.rkt
diff --git a/...amples/redex/examples/delim-cont/meta.rkt → ...amples/redex/examples/delim-cont/meta.rkt b/...amples/redex/examples/delim-cont/meta.rkt → ...amples/redex/examples/delim-cont/meta.rkt
diff --git a/.../redex/examples/delim-cont/model-impl.rkt → .../redex/examples/delim-cont/model-impl.rkt b/.../redex/examples/delim-cont/model-impl.rkt → .../redex/examples/delim-cont/model-impl.rkt
diff --git a/...ples/delim-cont/randomized-tests-test.rkt → ...ples/delim-cont/randomized-tests-test.rkt b/...ples/delim-cont/randomized-tests-test.rkt → ...ples/delim-cont/randomized-tests-test.rkt
diff --git a/.../examples/delim-cont/randomized-tests.rkt → .../examples/delim-cont/randomized-tests.rkt b/.../examples/delim-cont/randomized-tests.rkt → .../examples/delim-cont/randomized-tests.rkt
diff --git a/...ples/redex/examples/delim-cont/reduce.rkt → ...ples/redex/examples/delim-cont/reduce.rkt b/...ples/redex/examples/delim-cont/reduce.rkt → ...ples/redex/examples/delim-cont/reduce.rkt
diff --git a/...amples/redex/examples/delim-cont/test.rkt → ...amples/redex/examples/delim-cont/test.rkt b/...amples/redex/examples/delim-cont/test.rkt → ...amples/redex/examples/delim-cont/test.rkt
diff --git a/...gs/redex-examples/redex/examples/info.rkt → redex-examples/redex/examples/info.rkt b/...gs/redex-examples/redex/examples/info.rkt → redex-examples/redex/examples/info.rkt
diff --git a/...edex-examples/redex/examples/let-poly.rkt → redex-examples/redex/examples/let-poly.rkt b/...edex-examples/redex/examples/let-poly.rkt → redex-examples/redex/examples/let-poly.rkt
diff --git a/.../redex-examples/redex/examples/letrec.rkt → redex-examples/redex/examples/letrec.rkt b/.../redex-examples/redex/examples/letrec.rkt → redex-examples/redex/examples/letrec.rkt
diff --git a/...es/redex/examples/list-machine/README.txt → ...es/redex/examples/list-machine/README.txt b/...es/redex/examples/list-machine/README.txt → ...es/redex/examples/list-machine/README.txt
diff --git a/...ples/list-machine/list-machine-typing.rkt → ...ples/list-machine/list-machine-typing.rkt b/...ples/list-machine/list-machine-typing.rkt → ...ples/list-machine/list-machine-typing.rkt
diff --git a/...ex/examples/list-machine/list-machine.rkt → ...ex/examples/list-machine/list-machine.rkt b/...ex/examples/list-machine/list-machine.rkt → ...ex/examples/list-machine/list-machine.rkt
diff --git a/.../redex/examples/list-machine/p-sample.rkt → .../redex/examples/list-machine/p-sample.rkt b/.../redex/examples/list-machine/p-sample.rkt → .../redex/examples/list-machine/p-sample.rkt
diff --git a/...es/redex/examples/list-machine/slides.rkt → ...es/redex/examples/list-machine/slides.rkt b/...es/redex/examples/list-machine/slides.rkt → ...es/redex/examples/list-machine/slides.rkt
diff --git a/...ples/redex/examples/list-machine/test.rkt → ...ples/redex/examples/list-machine/test.rkt b/...ples/redex/examples/list-machine/test.rkt → ...ples/redex/examples/list-machine/test.rkt
diff --git a/...s/redex-examples/redex/examples/omega.rkt → redex-examples/redex/examples/omega.rkt b/...s/redex-examples/redex/examples/omega.rkt → redex-examples/redex/examples/omega.rkt
diff --git a/...x-examples/redex/examples/pi-calculus.rkt → ...x-examples/redex/examples/pi-calculus.rkt b/...x-examples/redex/examples/pi-calculus.rkt → ...x-examples/redex/examples/pi-calculus.rkt
diff --git a/...dex-examples/redex/examples/poly-stlc.rkt → redex-examples/redex/examples/poly-stlc.rkt b/...dex-examples/redex/examples/poly-stlc.rkt → redex-examples/redex/examples/poly-stlc.rkt
diff --git a/...redex-examples/redex/examples/r6rs/README → redex-examples/redex/examples/r6rs/README b/...redex-examples/redex/examples/r6rs/README → redex-examples/redex/examples/r6rs/README
diff --git a/...amples/redex/examples/r6rs/r6rs-tests.rkt → ...amples/redex/examples/r6rs/r6rs-tests.rkt b/...amples/redex/examples/r6rs/r6rs-tests.rkt → ...amples/redex/examples/r6rs/r6rs-tests.rkt
diff --git a/...dex-examples/redex/examples/r6rs/r6rs.rkt → redex-examples/redex/examples/r6rs/r6rs.rkt b/...dex-examples/redex/examples/r6rs/r6rs.rkt → redex-examples/redex/examples/r6rs/r6rs.rkt
diff --git a/...s/redex/examples/r6rs/racket-vs-redex.rkt → ...s/redex/examples/r6rs/racket-vs-redex.rkt b/...s/redex/examples/r6rs/racket-vs-redex.rkt → ...s/redex/examples/r6rs/racket-vs-redex.rkt
diff --git a/...les/redex/examples/r6rs/show-examples.rkt → ...les/redex/examples/r6rs/show-examples.rkt b/...les/redex/examples/r6rs/show-examples.rkt → ...les/redex/examples/r6rs/show-examples.rkt
diff --git a/...dex-examples/redex/examples/r6rs/test.rkt → redex-examples/redex/examples/r6rs/test.rkt b/...dex-examples/redex/examples/r6rs/test.rkt → redex-examples/redex/examples/r6rs/test.rkt
diff --git a/...edex/examples/racket-machine/examples.rkt → ...edex/examples/racket-machine/examples.rkt b/...edex/examples/racket-machine/examples.rkt → ...edex/examples/racket-machine/examples.rkt
diff --git a/...redex/examples/racket-machine/grammar.rkt → ...redex/examples/racket-machine/grammar.rkt b/...redex/examples/racket-machine/grammar.rkt → ...redex/examples/racket-machine/grammar.rkt
diff --git a/...dex/examples/racket-machine/impl-eval.rkt → ...dex/examples/racket-machine/impl-eval.rkt b/...dex/examples/racket-machine/impl-eval.rkt → ...dex/examples/racket-machine/impl-eval.rkt
diff --git a/...dex/examples/racket-machine/impl-exec.rkt → ...dex/examples/racket-machine/impl-exec.rkt b/...dex/examples/racket-machine/impl-exec.rkt → ...dex/examples/racket-machine/impl-exec.rkt
diff --git a/...ex/examples/racket-machine/model-impl.rkt → ...ex/examples/racket-machine/model-impl.rkt b/...ex/examples/racket-machine/model-impl.rkt → ...ex/examples/racket-machine/model-impl.rkt
diff --git a/.../racket-machine/randomized-tests-test.rkt → .../racket-machine/randomized-tests-test.rkt b/.../racket-machine/randomized-tests-test.rkt → .../racket-machine/randomized-tests-test.rkt
diff --git a/...mples/racket-machine/randomized-tests.rkt → ...mples/racket-machine/randomized-tests.rkt b/...mples/racket-machine/randomized-tests.rkt → ...mples/racket-machine/randomized-tests.rkt
diff --git a/...xamples/racket-machine/reduction-test.rkt → ...xamples/racket-machine/reduction-test.rkt b/...xamples/racket-machine/reduction-test.rkt → ...xamples/racket-machine/reduction-test.rkt
diff --git a/...dex/examples/racket-machine/reduction.rkt → ...dex/examples/racket-machine/reduction.rkt b/...dex/examples/racket-machine/reduction.rkt → ...dex/examples/racket-machine/reduction.rkt
diff --git a/...es/redex/examples/racket-machine/util.rkt → ...es/redex/examples/racket-machine/util.rkt b/...es/redex/examples/racket-machine/util.rkt → ...es/redex/examples/racket-machine/util.rkt
diff --git a/...ples/racket-machine/verification-test.rkt → ...ples/racket-machine/verification-test.rkt b/...ples/racket-machine/verification-test.rkt → ...ples/racket-machine/verification-test.rkt
diff --git a/.../examples/racket-machine/verification.rkt → .../examples/racket-machine/verification.rkt b/.../examples/racket-machine/verification.rkt → .../examples/racket-machine/verification.rkt
diff --git a/...redex-examples/redex/examples/rbtrees.rkt → redex-examples/redex/examples/rbtrees.rkt b/...redex-examples/redex/examples/rbtrees.rkt → redex-examples/redex/examples/rbtrees.rkt
diff --git a/...ex-examples/redex/examples/semaphores.rkt → redex-examples/redex/examples/semaphores.rkt b/...ex-examples/redex/examples/semaphores.rkt → redex-examples/redex/examples/semaphores.rkt
diff --git a/...mples/redex/examples/stlc+lists+subst.rkt → ...mples/redex/examples/stlc+lists+subst.rkt b/...mples/redex/examples/stlc+lists+subst.rkt → ...mples/redex/examples/stlc+lists+subst.rkt
diff --git a/...ex-examples/redex/examples/stlc+lists.rkt → redex-examples/redex/examples/stlc+lists.rkt b/...ex-examples/redex/examples/stlc+lists.rkt → redex-examples/redex/examples/stlc+lists.rkt
diff --git a/...xamples/redex/examples/stlc-tests-lib.rkt → ...xamples/redex/examples/stlc-tests-lib.rkt b/...xamples/redex/examples/stlc-tests-lib.rkt → ...xamples/redex/examples/stlc-tests-lib.rkt
diff --git a/...gs/redex-examples/redex/examples/stlc.rkt → redex-examples/redex/examples/stlc.rkt b/...gs/redex-examples/redex/examples/stlc.rkt → redex-examples/redex/examples/stlc.rkt
diff --git a/...ples/redex/examples/subject-reduction.rkt → ...ples/redex/examples/subject-reduction.rkt b/...ples/redex/examples/subject-reduction.rkt → ...ples/redex/examples/subject-reduction.rkt
diff --git a/...s/redex-examples/redex/examples/subst.rkt → redex-examples/redex/examples/subst.rkt b/...s/redex-examples/redex/examples/subst.rkt → redex-examples/redex/examples/subst.rkt
diff --git a/...redex-examples/redex/examples/threads.rkt → redex-examples/redex/examples/threads.rkt b/...redex-examples/redex/examples/threads.rkt → redex-examples/redex/examples/threads.rkt
diff --git a/...s/redex-examples/redex/examples/types.rkt → redex-examples/redex/examples/types.rkt b/...s/redex-examples/redex/examples/types.rkt → redex-examples/redex/examples/types.rkt
diff --git a/pkgs/redex-pkgs/redex-gui-lib/LICENSE.txt → redex-gui-lib/LICENSE.txt b/pkgs/redex-pkgs/redex-gui-lib/LICENSE.txt → redex-gui-lib/LICENSE.txt
diff --git a/pkgs/redex-pkgs/redex-gui-lib/info.rkt → redex-gui-lib/info.rkt b/pkgs/redex-pkgs/redex-gui-lib/info.rkt → redex-gui-lib/info.rkt
diff --git a/pkgs/redex-pkgs/redex-gui-lib/redex/gui.rkt → redex-gui-lib/redex/gui.rkt b/pkgs/redex-pkgs/redex-gui-lib/redex/gui.rkt → redex-gui-lib/redex/gui.rkt
diff --git a/pkgs/redex-pkgs/redex-gui-lib/redex/main.rkt → redex-gui-lib/redex/main.rkt b/pkgs/redex-pkgs/redex-gui-lib/redex/main.rkt → redex-gui-lib/redex/main.rkt
diff --git a/...redex-gui-lib/redex/private/gen-trace.rkt → redex-gui-lib/redex/private/gen-trace.rkt b/...redex-gui-lib/redex/private/gen-trace.rkt → redex-gui-lib/redex/private/gen-trace.rkt
diff --git a/...edex-gui-lib/redex/private/sexp-diffs.rkt → redex-gui-lib/redex/private/sexp-diffs.rkt b/...edex-gui-lib/redex/private/sexp-diffs.rkt → redex-gui-lib/redex/private/sexp-diffs.rkt
diff --git a/...ui-lib/redex/private/show-derivations.rkt → ...ui-lib/redex/private/show-derivations.rkt b/...ui-lib/redex/private/show-derivations.rkt → ...ui-lib/redex/private/show-derivations.rkt
diff --git a/...redex-gui-lib/redex/private/size-snip.rkt → redex-gui-lib/redex/private/size-snip.rkt b/...redex-gui-lib/redex/private/size-snip.rkt → redex-gui-lib/redex/private/size-snip.rkt
diff --git a/...s/redex-gui-lib/redex/private/stepper.rkt → redex-gui-lib/redex/private/stepper.rkt b/...s/redex-gui-lib/redex/private/stepper.rkt → redex-gui-lib/redex/private/stepper.rkt
diff --git a/...gs/redex-gui-lib/redex/private/traces.rkt → redex-gui-lib/redex/private/traces.rkt b/...gs/redex-gui-lib/redex/private/traces.rkt → redex-gui-lib/redex/private/traces.rkt
diff --git a/pkgs/redex-pkgs/redex-lib/LICENSE.txt → redex-lib/LICENSE.txt b/pkgs/redex-pkgs/redex-lib/LICENSE.txt → redex-lib/LICENSE.txt
diff --git a/pkgs/redex-pkgs/redex-lib/info.rkt → redex-lib/info.rkt b/pkgs/redex-pkgs/redex-lib/info.rkt → redex-lib/info.rkt
diff --git a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt → redex-lib/redex/HISTORY.txt b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt → redex-lib/redex/HISTORY.txt
diff --git a/pkgs/redex-pkgs/redex-lib/redex/info.rkt → redex-lib/redex/info.rkt b/pkgs/redex-pkgs/redex-lib/redex/info.rkt → redex-lib/redex/info.rkt
diff --git a/...dex-pkgs/redex-lib/redex/private/2set.rkt → redex-lib/redex/private/2set.rkt b/...dex-pkgs/redex-lib/redex/private/2set.rkt → redex-lib/redex/private/2set.rkt
diff --git a/...x-lib/redex/private/build-nt-property.rkt → ...x-lib/redex/private/build-nt-property.rkt b/...x-lib/redex/private/build-nt-property.rkt → ...x-lib/redex/private/build-nt-property.rkt
diff --git a/...edex-lib/redex/private/compiler/match.rkt → redex-lib/redex/private/compiler/match.rkt b/...edex-lib/redex/private/compiler/match.rkt → redex-lib/redex/private/compiler/match.rkt
diff --git a/.../redex/private/compiler/redextomatrix.rkt → .../redex/private/compiler/redextomatrix.rkt b/.../redex/private/compiler/redextomatrix.rkt → .../redex/private/compiler/redextomatrix.rkt
diff --git a/...s/redex-lib/redex/private/cycle-check.rkt → redex-lib/redex/private/cycle-check.rkt b/...s/redex-lib/redex/private/cycle-check.rkt → redex-lib/redex/private/cycle-check.rkt
diff --git a/...edex-lib/redex/private/defined-checks.rkt → redex-lib/redex/private/defined-checks.rkt b/...edex-lib/redex/private/defined-checks.rkt → redex-lib/redex/private/defined-checks.rkt
diff --git a/...dex-pkgs/redex-lib/redex/private/enum.rkt → redex-lib/redex/private/enum.rkt b/...dex-pkgs/redex-lib/redex/private/enum.rkt → redex-lib/redex/private/enum.rkt
diff --git a/...gs/redex-lib/redex/private/enumerator.rkt → redex-lib/redex/private/enumerator.rkt b/...gs/redex-lib/redex/private/enumerator.rkt → redex-lib/redex/private/enumerator.rkt
diff --git a/...edex-pkgs/redex-lib/redex/private/env.rkt → redex-lib/redex/private/env.rkt b/...edex-pkgs/redex-lib/redex/private/env.rkt → redex-lib/redex/private/env.rkt
diff --git a/...ex-pkgs/redex-lib/redex/private/error.rkt → redex-lib/redex/private/error.rkt b/...ex-pkgs/redex-lib/redex/private/error.rkt → redex-lib/redex/private/error.rkt
diff --git a/...-lib/redex/private/extract-conditions.rkt → ...-lib/redex/private/extract-conditions.rkt b/...-lib/redex/private/extract-conditions.rkt → ...-lib/redex/private/extract-conditions.rkt
diff --git a/...ex-pkgs/redex-lib/redex/private/fresh.rkt → redex-lib/redex/private/fresh.rkt b/...ex-pkgs/redex-lib/redex/private/fresh.rkt → redex-lib/redex/private/fresh.rkt
diff --git a/...redex-lib/redex/private/generate-term.rkt → redex-lib/redex/private/generate-term.rkt b/...redex-lib/redex/private/generate-term.rkt → redex-lib/redex/private/generate-term.rkt
diff --git a/...-pkgs/redex-lib/redex/private/jdg-gen.rkt → redex-lib/redex/private/jdg-gen.rkt b/...-pkgs/redex-lib/redex/private/jdg-gen.rkt → redex-lib/redex/private/jdg-gen.rkt
diff --git a/...redex-lib/redex/private/judgment-form.rkt → redex-lib/redex/private/judgment-form.rkt b/...redex-lib/redex/private/judgment-form.rkt → redex-lib/redex/private/judgment-form.rkt
diff --git a/...edex-lib/redex/private/keyword-macros.rkt → redex-lib/redex/private/keyword-macros.rkt b/...edex-lib/redex/private/keyword-macros.rkt → redex-lib/redex/private/keyword-macros.rkt
diff --git a/...s/redex-lib/redex/private/lang-struct.rkt → redex-lib/redex/private/lang-struct.rkt b/...s/redex-lib/redex/private/lang-struct.rkt → redex-lib/redex/private/lang-struct.rkt
diff --git a/...edex-lib/redex/private/loc-wrapper-ct.rkt → redex-lib/redex/private/loc-wrapper-ct.rkt b/...edex-lib/redex/private/loc-wrapper-ct.rkt → redex-lib/redex/private/loc-wrapper-ct.rkt
diff --git a/...edex-lib/redex/private/loc-wrapper-rt.rkt → redex-lib/redex/private/loc-wrapper-rt.rkt b/...edex-lib/redex/private/loc-wrapper-rt.rkt → redex-lib/redex/private/loc-wrapper-rt.rkt
diff --git a/...s/redex-lib/redex/private/loc-wrapper.rkt → redex-lib/redex/private/loc-wrapper.rkt b/...s/redex-lib/redex/private/loc-wrapper.rkt → redex-lib/redex/private/loc-wrapper.rkt
diff --git a/...dex-lib/redex/private/match-a-pattern.rkt → redex-lib/redex/private/match-a-pattern.rkt b/...dex-lib/redex/private/match-a-pattern.rkt → redex-lib/redex/private/match-a-pattern.rkt
diff --git a/...-pkgs/redex-lib/redex/private/matcher.rkt → redex-lib/redex/private/matcher.rkt b/...-pkgs/redex-lib/redex/private/matcher.rkt → redex-lib/redex/private/matcher.rkt
diff --git a/...kgs/redex-lib/redex/private/pat-unify.rkt → redex-lib/redex/private/pat-unify.rkt b/...kgs/redex-lib/redex/private/pat-unify.rkt → redex-lib/redex/private/pat-unify.rkt
diff --git a/...dex-lib/redex/private/preprocess-lang.rkt → redex-lib/redex/private/preprocess-lang.rkt b/...dex-lib/redex/private/preprocess-lang.rkt → redex-lib/redex/private/preprocess-lang.rkt
diff --git a/...edex-lib/redex/private/preprocess-pat.rkt → redex-lib/redex/private/preprocess-pat.rkt b/...edex-lib/redex/private/preprocess-pat.rkt → redex-lib/redex/private/preprocess-pat.rkt
diff --git a/...b/redex/private/red-sem-macro-helpers.rkt → ...b/redex/private/red-sem-macro-helpers.rkt b/...b/redex/private/red-sem-macro-helpers.rkt → ...b/redex/private/red-sem-macro-helpers.rkt
diff --git a/...lib/redex/private/reduction-semantics.rkt → ...lib/redex/private/reduction-semantics.rkt b/...lib/redex/private/reduction-semantics.rkt → ...lib/redex/private/reduction-semantics.rkt
diff --git a/...redex/private/rewrite-side-conditions.rkt → ...redex/private/rewrite-side-conditions.rkt b/...redex/private/rewrite-side-conditions.rkt → ...redex/private/rewrite-side-conditions.rkt
diff --git a/...redex-pkgs/redex-lib/redex/private/rg.rkt → redex-lib/redex/private/rg.rkt b/...redex-pkgs/redex-lib/redex/private/rg.rkt → redex-lib/redex/private/rg.rkt
diff --git a/...x-pkgs/redex-lib/redex/private/search.rkt → redex-lib/redex/private/search.rkt b/...x-pkgs/redex-lib/redex/private/search.rkt → redex-lib/redex/private/search.rkt
diff --git a/...x-pkgs/redex-lib/redex/private/struct.rkt → redex-lib/redex/private/struct.rkt b/...x-pkgs/redex-lib/redex/private/struct.rkt → redex-lib/redex/private/struct.rkt
diff --git a/...-pkgs/redex-lib/redex/private/term-fn.rkt → redex-lib/redex/private/term-fn.rkt b/...-pkgs/redex-lib/redex/private/term-fn.rkt → redex-lib/redex/private/term-fn.rkt
diff --git a/...dex-pkgs/redex-lib/redex/private/term.rkt → redex-lib/redex/private/term.rkt b/...dex-pkgs/redex-lib/redex/private/term.rkt → redex-lib/redex/private/term.rkt
diff --git a/.../redex-lib/redex/private/trace-layout.rkt → redex-lib/redex/private/trace-layout.rkt b/.../redex-lib/redex/private/trace-layout.rkt → redex-lib/redex/private/trace-layout.rkt
diff --git a/...-lib/redex/private/underscore-allowed.rkt → ...-lib/redex/private/underscore-allowed.rkt b/...-lib/redex/private/underscore-allowed.rkt → ...-lib/redex/private/underscore-allowed.rkt
diff --git a/...s/redex-lib/redex/reduction-semantics.rkt → redex-lib/redex/reduction-semantics.rkt b/...s/redex-lib/redex/reduction-semantics.rkt → redex-lib/redex/reduction-semantics.rkt
diff --git a/.../redex-pkgs/redex-lib/redex/tut-subst.rkt → redex-lib/redex/tut-subst.rkt b/.../redex-pkgs/redex-lib/redex/tut-subst.rkt → redex-lib/redex/tut-subst.rkt
diff --git a/pkgs/redex-pkgs/redex-pict-lib/LICENSE.txt → redex-pict-lib/LICENSE.txt b/pkgs/redex-pkgs/redex-pict-lib/LICENSE.txt → redex-pict-lib/LICENSE.txt
diff --git a/pkgs/redex-pkgs/redex-pict-lib/info.rkt → redex-pict-lib/info.rkt b/pkgs/redex-pkgs/redex-pict-lib/info.rkt → redex-pict-lib/info.rkt
diff --git a/.../redex-pkgs/redex-pict-lib/redex/pict.rkt → redex-pict-lib/redex/pict.rkt b/.../redex-pkgs/redex-pict-lib/redex/pict.rkt → redex-pict-lib/redex/pict.rkt
diff --git a/...gs/redex-pict-lib/redex/private/arrow.rkt → redex-pict-lib/redex/private/arrow.rkt b/...gs/redex-pict-lib/redex/private/arrow.rkt → redex-pict-lib/redex/private/arrow.rkt
diff --git a/...ex-pict-lib/redex/private/core-layout.rkt → redex-pict-lib/redex/private/core-layout.rkt b/...ex-pict-lib/redex/private/core-layout.rkt → redex-pict-lib/redex/private/core-layout.rkt
diff --git a/...kgs/redex-pict-lib/redex/private/pict.rkt → redex-pict-lib/redex/private/pict.rkt b/...kgs/redex-pict-lib/redex/private/pict.rkt → redex-pict-lib/redex/private/pict.rkt
diff --git a/pkgs/redex-pkgs/redex-test/LICENSE.txt → redex-test/LICENSE.txt b/pkgs/redex-pkgs/redex-test/LICENSE.txt → redex-test/LICENSE.txt
diff --git a/pkgs/redex-pkgs/redex-test/info.rkt → redex-test/info.rkt b/pkgs/redex-pkgs/redex-test/info.rkt → redex-test/info.rkt
diff --git a/...dex-test/redex/tests/bitmap-test-util.rkt → redex-test/redex/tests/bitmap-test-util.rkt b/...dex-test/redex/tests/bitmap-test-util.rkt → redex-test/redex/tests/bitmap-test-util.rkt
diff --git a/...gs/redex-test/redex/tests/bitmap-test.rkt → redex-test/redex/tests/bitmap-test.rkt b/...gs/redex-test/redex/tests/bitmap-test.rkt → redex-test/redex/tests/bitmap-test.rkt
diff --git a/...x/tests/bmps-macosx/extended-language.png → ...x/tests/bmps-macosx/extended-language.png b/...x/tests/bmps-macosx/extended-language.png → ...x/tests/bmps-macosx/extended-language.png
diff --git a/...ps-macosx/extended-reduction-relation.png → ...ps-macosx/extended-reduction-relation.png b/...ps-macosx/extended-reduction-relation.png → ...ps-macosx/extended-reduction-relation.png
diff --git a/...ex-test/redex/tests/bmps-macosx/holes.png → redex-test/redex/tests/bmps-macosx/holes.png b/...ex-test/redex/tests/bmps-macosx/holes.png → redex-test/redex/tests/bmps-macosx/holes.png
diff --git a/...ts/bmps-macosx/judgment-form-examples.png → ...ts/bmps-macosx/judgment-form-examples.png b/...ts/bmps-macosx/judgment-form-examples.png → ...ts/bmps-macosx/judgment-form-examples.png
diff --git a/.../redex/tests/bmps-macosx/language-nox.png → .../redex/tests/bmps-macosx/language-nox.png b/.../redex/tests/bmps-macosx/language-nox.png → .../redex/tests/bmps-macosx/language-nox.png
diff --git a/...test/redex/tests/bmps-macosx/language.png → ...test/redex/tests/bmps-macosx/language.png b/...test/redex/tests/bmps-macosx/language.png → ...test/redex/tests/bmps-macosx/language.png
diff --git a/...redex-test/redex/tests/bmps-macosx/lw.png → redex-test/redex/tests/bmps-macosx/lw.png b/...redex-test/redex/tests/bmps-macosx/lw.png → redex-test/redex/tests/bmps-macosx/lw.png
diff --git a/...s-macosx/metafunction-Name-horizontal.png → ...s-macosx/metafunction-Name-horizontal.png b/...s-macosx/metafunction-Name-horizontal.png → ...s-macosx/metafunction-Name-horizontal.png
diff --git a/...mps-macosx/metafunction-Name-vertical.png → ...mps-macosx/metafunction-Name-vertical.png b/...mps-macosx/metafunction-Name-vertical.png → ...mps-macosx/metafunction-Name-vertical.png
diff --git a/...x/tests/bmps-macosx/metafunction-Name.png → ...x/tests/bmps-macosx/metafunction-Name.png b/...x/tests/bmps-macosx/metafunction-Name.png → ...x/tests/bmps-macosx/metafunction-Name.png
diff --git a/...edex/tests/bmps-macosx/metafunction-T.png → ...edex/tests/bmps-macosx/metafunction-T.png b/...edex/tests/bmps-macosx/metafunction-T.png → ...edex/tests/bmps-macosx/metafunction-T.png
diff --git a/...dex/tests/bmps-macosx/metafunction-TL.png → ...dex/tests/bmps-macosx/metafunction-TL.png b/...dex/tests/bmps-macosx/metafunction-TL.png → ...dex/tests/bmps-macosx/metafunction-TL.png
diff --git a/...ps-macosx/metafunction-judgment-holds.png → ...ps-macosx/metafunction-judgment-holds.png b/...ps-macosx/metafunction-judgment-holds.png → ...ps-macosx/metafunction-judgment-holds.png
diff --git a/...ts/bmps-macosx/metafunction-multi-arg.png → ...ts/bmps-macosx/metafunction-multi-arg.png b/...ts/bmps-macosx/metafunction-multi-arg.png → ...ts/bmps-macosx/metafunction-multi-arg.png
diff --git a/.../tests/bmps-macosx/metafunction-subst.png → .../tests/bmps-macosx/metafunction-subst.png b/.../tests/bmps-macosx/metafunction-subst.png → .../tests/bmps-macosx/metafunction-subst.png
diff --git a/.../redex/tests/bmps-macosx/metafunction.png → .../redex/tests/bmps-macosx/metafunction.png b/.../redex/tests/bmps-macosx/metafunction.png → .../redex/tests/bmps-macosx/metafunction.png
diff --git a/...ts/bmps-macosx/metafunctions-multiple.png → ...ts/bmps-macosx/metafunctions-multiple.png b/...ts/bmps-macosx/metafunctions-multiple.png → ...ts/bmps-macosx/metafunctions-multiple.png
diff --git a/...est/redex/tests/bmps-macosx/mf-hidden.png → ...est/redex/tests/bmps-macosx/mf-hidden.png b/...est/redex/tests/bmps-macosx/mf-hidden.png → ...est/redex/tests/bmps-macosx/mf-hidden.png
diff --git a/...dex/tests/bmps-macosx/rdups-delimited.png → ...dex/tests/bmps-macosx/rdups-delimited.png b/...dex/tests/bmps-macosx/rdups-delimited.png → ...dex/tests/bmps-macosx/rdups-delimited.png
diff --git a/...x/tests/bmps-macosx/rdups-undelimited.png → ...x/tests/bmps-macosx/rdups-undelimited.png b/...x/tests/bmps-macosx/rdups-undelimited.png → ...x/tests/bmps-macosx/rdups-undelimited.png
diff --git a/...tests/bmps-macosx/red-with-where-name.png → ...tests/bmps-macosx/red-with-where-name.png b/...tests/bmps-macosx/red-with-where-name.png → ...tests/bmps-macosx/red-with-where-name.png
diff --git a/...dex-test/redex/tests/bmps-macosx/red2.png → redex-test/redex/tests/bmps-macosx/red2.png b/...dex-test/redex/tests/bmps-macosx/red2.png → redex-test/redex/tests/bmps-macosx/red2.png
diff --git a/...ation-with-computed-labels-and-hiding.png → ...ation-with-computed-labels-and-hiding.png b/...ation-with-computed-labels-and-hiding.png → ...ation-with-computed-labels-and-hiding.png
diff --git a/...duction-relation-with-computed-labels.png → ...duction-relation-with-computed-labels.png b/...duction-relation-with-computed-labels.png → ...duction-relation-with-computed-labels.png
diff --git a/.../tests/bmps-macosx/reduction-relation.png → .../tests/bmps-macosx/reduction-relation.png b/.../tests/bmps-macosx/reduction-relation.png → .../tests/bmps-macosx/reduction-relation.png
diff --git a/.../tests/bmps-macosx/relation-with-name.png → .../tests/bmps-macosx/relation-with-name.png b/.../tests/bmps-macosx/relation-with-name.png → .../tests/bmps-macosx/relation-with-name.png
diff --git a/...test/redex/tests/bmps-macosx/relation.png → ...test/redex/tests/bmps-macosx/relation.png b/...test/redex/tests/bmps-macosx/relation.png → ...test/redex/tests/bmps-macosx/relation.png
diff --git a/...est/redex/tests/bmps-macosx/rr-hidden.png → ...est/redex/tests/bmps-macosx/rr-hidden.png b/...est/redex/tests/bmps-macosx/rr-hidden.png → ...est/redex/tests/bmps-macosx/rr-hidden.png
diff --git a/...dex-test/redex/tests/bmps-macosx/stlc.png → redex-test/redex/tests/bmps-macosx/stlc.png b/...dex-test/redex/tests/bmps-macosx/stlc.png → redex-test/redex/tests/bmps-macosx/stlc.png
diff --git a/.../redex/tests/bmps-macosx/superscripts.png → .../redex/tests/bmps-macosx/superscripts.png b/.../redex/tests/bmps-macosx/superscripts.png → .../redex/tests/bmps-macosx/superscripts.png
diff --git a/...ts/bmps-macosx/unix-extended-language.png → ...ts/bmps-macosx/unix-extended-language.png b/...ts/bmps-macosx/unix-extended-language.png → ...ts/bmps-macosx/unix-extended-language.png
diff --git a/...cosx/unix-extended-reduction-relation.png → ...cosx/unix-extended-reduction-relation.png b/...cosx/unix-extended-reduction-relation.png → ...cosx/unix-extended-reduction-relation.png
diff --git a/...x/tests/bmps-macosx/unix-language-nox.png → ...x/tests/bmps-macosx/unix-language-nox.png b/...x/tests/bmps-macosx/unix-language-nox.png → ...x/tests/bmps-macosx/unix-language-nox.png
diff --git a/...redex/tests/bmps-macosx/unix-language.png → ...redex/tests/bmps-macosx/unix-language.png b/...redex/tests/bmps-macosx/unix-language.png → ...redex/tests/bmps-macosx/unix-language.png
diff --git a/...-test/redex/tests/bmps-macosx/unix-lw.png → ...-test/redex/tests/bmps-macosx/unix-lw.png b/...-test/redex/tests/bmps-macosx/unix-lw.png → ...-test/redex/tests/bmps-macosx/unix-lw.png
diff --git a/...acosx/unix-metafunction-Name-vertical.png → ...acosx/unix-metafunction-Name-vertical.png b/...acosx/unix-metafunction-Name-vertical.png → ...acosx/unix-metafunction-Name-vertical.png
diff --git a/...ts/bmps-macosx/unix-metafunction-Name.png → ...ts/bmps-macosx/unix-metafunction-Name.png b/...ts/bmps-macosx/unix-metafunction-Name.png → ...ts/bmps-macosx/unix-metafunction-Name.png
diff --git a/...tests/bmps-macosx/unix-metafunction-T.png → ...tests/bmps-macosx/unix-metafunction-T.png b/...tests/bmps-macosx/unix-metafunction-T.png → ...tests/bmps-macosx/unix-metafunction-T.png
diff --git a/...ests/bmps-macosx/unix-metafunction-TL.png → ...ests/bmps-macosx/unix-metafunction-TL.png b/...ests/bmps-macosx/unix-metafunction-TL.png → ...ests/bmps-macosx/unix-metafunction-TL.png
diff --git a/...ps-macosx/unix-metafunction-multi-arg.png → ...ps-macosx/unix-metafunction-multi-arg.png b/...ps-macosx/unix-metafunction-multi-arg.png → ...ps-macosx/unix-metafunction-multi-arg.png
diff --git a/...s/bmps-macosx/unix-metafunction-subst.png → ...s/bmps-macosx/unix-metafunction-subst.png b/...s/bmps-macosx/unix-metafunction-subst.png → ...s/bmps-macosx/unix-metafunction-subst.png
diff --git a/...x/tests/bmps-macosx/unix-metafunction.png → ...x/tests/bmps-macosx/unix-metafunction.png b/...x/tests/bmps-macosx/unix-metafunction.png → ...x/tests/bmps-macosx/unix-metafunction.png
diff --git a/...ps-macosx/unix-metafunctions-multiple.png → ...ps-macosx/unix-metafunctions-multiple.png b/...ps-macosx/unix-metafunctions-multiple.png → ...ps-macosx/unix-metafunctions-multiple.png
diff --git a/...s/bmps-macosx/unix-reduction-relation.png → ...s/bmps-macosx/unix-reduction-relation.png b/...s/bmps-macosx/unix-reduction-relation.png → ...s/bmps-macosx/unix-reduction-relation.png
diff --git a/.../tests/bmps-macosx/var-not-in-rebound.png → .../tests/bmps-macosx/var-not-in-rebound.png b/.../tests/bmps-macosx/var-not-in-rebound.png → .../tests/bmps-macosx/var-not-in-rebound.png
diff --git a/...st/redex/tests/bmps-macosx/var-not-in.png → ...st/redex/tests/bmps-macosx/var-not-in.png b/...st/redex/tests/bmps-macosx/var-not-in.png → ...st/redex/tests/bmps-macosx/var-not-in.png
diff --git a/...dex/tests/bmps-unix/extended-language.png → ...dex/tests/bmps-unix/extended-language.png b/...dex/tests/bmps-unix/extended-language.png → ...dex/tests/bmps-unix/extended-language.png
diff --git a/...bmps-unix/extended-reduction-relation.png → ...bmps-unix/extended-reduction-relation.png b/...bmps-unix/extended-reduction-relation.png → ...bmps-unix/extended-reduction-relation.png
diff --git a/...edex-test/redex/tests/bmps-unix/holes.png → redex-test/redex/tests/bmps-unix/holes.png b/...edex-test/redex/tests/bmps-unix/holes.png → redex-test/redex/tests/bmps-unix/holes.png
diff --git a/...ests/bmps-unix/judgment-form-examples.png → ...ests/bmps-unix/judgment-form-examples.png b/...ests/bmps-unix/judgment-form-examples.png → ...ests/bmps-unix/judgment-form-examples.png
diff --git a/...st/redex/tests/bmps-unix/language-nox.png → ...st/redex/tests/bmps-unix/language-nox.png b/...st/redex/tests/bmps-unix/language-nox.png → ...st/redex/tests/bmps-unix/language-nox.png