From 86891b30a1c7301cbad317eab76274b35d861670 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sat, 15 May 2010 18:41:08 -0400
Subject: [PATCH] redex/examples/mzscheme-machine -> racket-machine

---
 collects/meta/props                                           | 4 ++--
 .../examples/{mzscheme-machine => racket-machine}/grammar.rkt | 0
 .../{mzscheme-machine => racket-machine}/reduction-test.rkt   | 0
 .../{mzscheme-machine => racket-machine}/reduction.rkt        | 0
 .../verification-test.rkt                                     | 0
 .../{mzscheme-machine => racket-machine}/verification.rkt     | 0
 collects/redex/tests/run-tests.rkt                            | 4 ++--
 7 files changed, 4 insertions(+), 4 deletions(-)
 rename collects/redex/examples/{mzscheme-machine => racket-machine}/grammar.rkt (100%)
 rename collects/redex/examples/{mzscheme-machine => racket-machine}/reduction-test.rkt (100%)
 rename collects/redex/examples/{mzscheme-machine => racket-machine}/reduction.rkt (100%)
 rename collects/redex/examples/{mzscheme-machine => racket-machine}/verification-test.rkt (100%)
 rename collects/redex/examples/{mzscheme-machine => racket-machine}/verification.rkt (100%)

diff --git a/collects/meta/props b/collects/meta/props
index b13679b5c4..42767d4f6a 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -1181,11 +1181,11 @@ path/s is either such a string or a list of them.
 "collects/redex/examples/combinators.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/compatible-closure.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/letrec.rkt" drdr:command-line (mzc *)
-"collects/redex/examples/mzscheme-machine/reduction-test.rkt" drdr:command-line (mzc *)
-"collects/redex/examples/mzscheme-machine/verification-test.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/omega.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/r6rs/r6rs-tests.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/r6rs/show-examples.rkt" drdr:command-line (gracket-text *)
+"collects/redex/examples/racket-machine/reduction-test.rkt" drdr:command-line (mzc *)
+"collects/redex/examples/racket-machine/verification-test.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/semaphores.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/subject-reduction.rkt" drdr:command-line (mzc *)
 "collects/redex/examples/threads.rkt" drdr:command-line (mzc *)
diff --git a/collects/redex/examples/mzscheme-machine/grammar.rkt b/collects/redex/examples/racket-machine/grammar.rkt
similarity index 100%
rename from collects/redex/examples/mzscheme-machine/grammar.rkt
rename to collects/redex/examples/racket-machine/grammar.rkt
diff --git a/collects/redex/examples/mzscheme-machine/reduction-test.rkt b/collects/redex/examples/racket-machine/reduction-test.rkt
similarity index 100%
rename from collects/redex/examples/mzscheme-machine/reduction-test.rkt
rename to collects/redex/examples/racket-machine/reduction-test.rkt
diff --git a/collects/redex/examples/mzscheme-machine/reduction.rkt b/collects/redex/examples/racket-machine/reduction.rkt
similarity index 100%
rename from collects/redex/examples/mzscheme-machine/reduction.rkt
rename to collects/redex/examples/racket-machine/reduction.rkt
diff --git a/collects/redex/examples/mzscheme-machine/verification-test.rkt b/collects/redex/examples/racket-machine/verification-test.rkt
similarity index 100%
rename from collects/redex/examples/mzscheme-machine/verification-test.rkt
rename to collects/redex/examples/racket-machine/verification-test.rkt
diff --git a/collects/redex/examples/mzscheme-machine/verification.rkt b/collects/redex/examples/racket-machine/verification.rkt
similarity index 100%
rename from collects/redex/examples/mzscheme-machine/verification.rkt
rename to collects/redex/examples/racket-machine/verification.rkt
diff --git a/collects/redex/tests/run-tests.rkt b/collects/redex/tests/run-tests.rkt
index 806f31ef1d..46e05c2262 100644
--- a/collects/redex/tests/run-tests.rkt
+++ b/collects/redex/tests/run-tests.rkt
@@ -29,8 +29,8 @@
    (if test-examples? 
        '("../examples/pi-calculus.ss"
          ("../examples/beginner.ss" main)
-         "../examples/mzscheme-machine/reduction-test.ss"
-         "../examples/mzscheme-machine/verification-test.ss"
+         "../examples/racket-machine/reduction-test.ss"
+         "../examples/racket-machine/verification-test.ss"
          ("../examples/r6rs/r6rs-tests.ss" main))
        '())))