new style info files

svn: r10982

collects/redex/examples/info.ss

@@ -1,2 +1,3 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "Reduction Semantics examples"))
+#lang setup/infotab
+
+(define name "Reduction Semantics examples")

collects/redex/info.ss

@@ -1,10 +1,11 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "PLT Redex")
-  (define doc.txt "doc.txt")
-  (define homepage
-    "http://people.cs.uchicago.edu/~robby/plt-redex/")
-  (define blurb
-    (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper.")))
-  (define required-core-version "371.4")
-  (define primary-file "reduction-semantics.ss")
-  (define categories '(metaprogramming)))
+#lang setup/infotab
+
+(define name "PLT Redex")
+(define doc.txt "doc.txt")
+(define homepage
+  "http://people.cs.uchicago.edu/~robby/plt-redex/")
+(define blurb
+  (list '(div "A domain-specific language for context-sensitive reduction semantics. Put in a specification and get out a stepper.")))
+(define required-core-version "371.4")
+(define primary-file "reduction-semantics.ss")
+(define categories '(metaprogramming))

collects/redex/private/info.ss

@@ -1,2 +0,0 @@
-(module info (lib "infotab.ss" "setup")
-  (define name "PLT Redex private"))