splitting up redex into multiple pkgs: move files around commit

2013-07-05 11:18:02 -05:00 · 2013-07-05 11:18:02 -05:00 · 422e0f7fb6
commit 422e0f7fb6
parent 2f637741e2
240 changed files with 0 additions and 0 deletions
--- a/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/redex.scrbl
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/dynamic-typesetting-and-macros.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/dynamic-typesetting-and-macros.scrbl
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/info.rkt
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/info.rkt
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/ref.scrbl
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut-util.rkt
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut-util.rkt
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/tut.scrbl
--- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/typesetting-and-macros.scrbl
+++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/typesetting-and-macros.scrbl
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/README
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/README
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/arithmetic.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/arithmetic.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/beginner.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/beginner.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cbn-letrec.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cbn-letrec.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/church.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/church.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/combinators.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/combinators.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/compatible-closure.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/compatible-closure.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/CMT-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/CMT-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/CMT.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/CMT.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/SL-semantics-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/SL-semantics-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/SL-semantics.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/SL-semantics.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/SL-syntax.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/SL-syntax.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/TL-semantics-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/TL-semantics-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/TL-semantics.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/TL-semantics.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/TL-syntax.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/TL-syntax.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/all-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/all-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/common.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/common.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/randomized-tests.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/randomized-tests.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/test-util.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/cont-mark-transform/test-util.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/contracts.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/contracts.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/multi-val.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/multi-val.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/sos.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/sos.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/typing-rules-no-ellipses.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/typing-rules-no-ellipses.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/typing-rules.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/define-judgment-form/typing-rules.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/README.txt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/grammar.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/grammar.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/meta.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/meta.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/model-impl.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/model-impl.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/randomized-tests.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/reduce.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/reduce.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/delim-cont/test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/info.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/info.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/letrec.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/letrec.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/README.txt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/README.txt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/list-machine-typing.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/list-machine-typing.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/list-machine.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/list-machine.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/p-sample.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/p-sample.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/slides.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/slides.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/list-machine/test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/omega.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/omega.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/pi-calculus.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/pi-calculus.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/README
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/README
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/r6rs-tests.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/r6rs-tests.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/r6rs.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/r6rs.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/racket-vs-redex.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/racket-vs-redex.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/show-examples.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/show-examples.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/r6rs/test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/examples.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/examples.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/grammar.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/grammar.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/impl-eval.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/impl-eval.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/impl-exec.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/impl-exec.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/model-impl.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/model-impl.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/randomized-tests-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/randomized-tests-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/randomized-tests.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/randomized-tests.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/reduction-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/reduction-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/reduction.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/reduction.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/util.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/util.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/verification-test.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/verification-test.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/verification.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/racket-machine/verification.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/semaphores.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/semaphores.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/stlc.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/stlc.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/subject-reduction.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/subject-reduction.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/subst.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/subst.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/threads.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/threads.rkt
--- a/pkgs/redex-pkgs/redex-examples/redex/examples/types.rkt
+++ b/pkgs/redex-pkgs/redex-examples/redex/examples/types.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
+++ b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt
--- a/pkgs/redex-pkgs/redex-lib/redex/gui.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/gui.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/info.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/info.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/main.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/main.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/pict.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/pict.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/arrow.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/arrow.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/compiler/match.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/compiler/match.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/compiler/redextomatrix.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/compiler/redextomatrix.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/core-layout.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/core-layout.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/cycle-check.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/cycle-check.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/defined-checks.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/defined-checks.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/dot.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/dot.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enum.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/enumerator.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/error.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/error.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/extract-conditions.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/extract-conditions.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/fresh.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/fresh.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/gen-trace.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/gen-trace.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/generate-term.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/jdg-gen.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/judgment-form.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/keyword-macros.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/keyword-macros.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/lang-struct.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/lang-struct.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/loc-wrapper-ct.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/loc-wrapper-ct.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/loc-wrapper-rt.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/loc-wrapper-rt.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/loc-wrapper.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/loc-wrapper.rkt
--- a/pkgs/redex-pkgs/redex-lib/redex/private/match-a-pattern.rkt
+++ b/pkgs/redex-pkgs/redex-lib/redex/private/match-a-pattern.rkt
--- a/Show More
+++ b/Show More