fix contex-closure, change iswim.ss exports back to using :-prefixed names

svn: r1457

collects/reduction-semantics/examples/iswim.ss

@@ -153,14 +153,14 @@
                      (compatible-closure red iswim-grammar 'M))
                    (cons beta_v delta)))
   
-  ;; /->v
-  (define /->v (map (lambda (red)
+  ;; :->v
+  (define :->v (map (lambda (red)
                       (context-closure red iswim-grammar 'E))
                     (cons beta_v delta)))
 
-  ;; /->v+letcc
-  (define /->v+letcc (append
-		      /->v
+  ;; :->v+letcc
+  (define :->v+letcc (append
+		      :->v
 			 (list
 
 			  ;; letcc rule:
@@ -242,8 +242,8 @@
 		    (delta*2 (o2? V? V? . -> .  (union false/c V?)))
 		    (delta*n (on? (listof V?) . -> .  (union false/c V?)))
 		    (->v (listof red?))
-		    (/->v (listof red?))
-		    (/->v+letcc (listof red?))
+		    (:->v (listof red?))
+		    (:->v+letcc (listof red?))
 		    (if0 (M? M? M? . -> . M?))
 		    (true M?)
 		    (false M?)

collects/reduction-semantics/gui.ss

@@ -4,7 +4,7 @@
 
 (module gui mzscheme
   (require (lib "etc.ss")
-           (lib "graph.ss" "mrlib")
+           (lib "graph.ss" "reduction-semantics")
            "reduction-semantics.ss"
            (lib "mred.ss" "mred")
            (lib "framework.ss" "framework")

collects/reduction-semantics/reduction-semantics.ss

@@ -77,7 +77,8 @@ incompatible changes to be done:
                 (lambda (bindings)
                   (let ([context (lookup-binding bindings new-name)]
                         [res ((red-reduct red) bindings)])
-                    (plug context res))))))
+                    (plug context res)))
+		#f)))
   
   (define-syntax-set (reduction/context reduction reduction/name reduction/context/name language)