#lang racket' -> #lang racket/base' conversions in stepper.

collects/stepper/external-interface.rkt

@@ -1,6 +1,7 @@
-#lang racket
+#lang racket/base
 
-(require "private/annotate.rkt"
+(require racket/contract
+         "private/annotate.rkt"
          "private/marks.rkt")
 
 ;; an external interface for the stepper.

collects/stepper/private/annotate.rkt

@@ -1,6 +1,7 @@
-#lang racket
+#lang racket/base
 
 (require (prefix-in kernel: syntax/kerncase)
+         racket/match
          racket/contract
          "marks.rkt"
          "shared.rkt"

collects/stepper/private/display-break-stuff.rkt

@@ -1,6 +1,6 @@
-#lang racket
+#lang racket/base
 
-(require mred mzlib/class "marks.rkt")
+(require racket/gui racket/class "marks.rkt")
 
 (provide display-break-stuff)
 
@@ -63,5 +63,3 @@
                              returned-value-list)
   (add-sel break-number mark-set break-kind returned-value-list)
   (send f show #t))
-  
-  

collects/stepper/private/lifting.rkt

@@ -1,6 +1,8 @@
-#lang racket
+#lang racket/base
 
 (require (prefix-in kernel: syntax/kerncase)
+         racket/match
+         racket/contract
          "shared.rkt"
          "syntax-property.rkt"
          (for-syntax racket/base))

collects/stepper/private/macro-unwind.rkt

@@ -1,6 +1,8 @@
-#lang racket
+#lang racket/base
 
 (require (only-in syntax/kerncase kernel-syntax-case)
+         racket/list
+         racket/contract
          "model-settings.rkt"
          "shared.rkt"
          "syntax-property.rkt")

collects/stepper/private/mred-extensions.rkt

@@ -1,6 +1,6 @@
-#lang racket
+#lang racket/base
 
-(require mred
+(require racket/gui
          (prefix-in f: framework)
          racket/pretty
          "syntax-property.rkt"

collects/stepper/private/my-macros.rkt

@@ -1,5 +1,7 @@
-#lang racket
+#lang racket/base
 
+(require (for-syntax racket/base)
+         racket/match)
 
 ;;;;;;;;;;
 ;;

collects/stepper/private/shared.rkt

@@ -1,6 +1,11 @@
-#lang racket
+#lang racket/base
 
-(require "syntax-property.rkt")
+(require racket/list
+         racket/match
+         racket/contract
+         racket/class
+         racket/unit
+         "syntax-property.rkt")
 
 ; CONTRACTS
 

collects/stepper/private/xml-snip-helpers.rkt

@@ -1,8 +1,8 @@
-#lang racket
+#lang racket/base
 
 (require xml/xml
          syntax/readerr
-         mred
+         racket/gui
          "syntax-property.rkt")
 
 (provide xml-read-special

collects/stepper/stepper+xml-tool.rkt

@@ -1,6 +1,7 @@
-#lang racket
+#lang racket/base
 
-(require drracket/tool
+(require racket/unit
+         drracket/tool
          "stepper-tool.rkt"
          "xml-tool.rkt"
          "private/view-controller.rkt")

collects/stepper/xml-tool.rkt

@@ -1,9 +1,10 @@
-#lang racket
+#lang racket/base
 
 (require "private/xml-snip-helpers.rkt"
          "private/find-tag.rkt"
          "private/xml-sig.rkt"
-         mred
+         racket/unit
+         racket/gui
          framework
          drracket/tool
          xml/xml