From deca7e7aa3e0050de24621276d41c05b374aa401 Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@racket-lang.org>
Date: Fri, 14 Dec 2007 00:53:54 +0000
Subject: [PATCH] svn: r8006

---
 collects/teachpack/htdp/convert.ss | 7 ++++---
 collects/teachpack/htdp/testing.ss | 6 +++---
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/collects/teachpack/htdp/convert.ss b/collects/teachpack/htdp/convert.ss
index a205f83d5e..823aa27faa 100644
--- a/collects/teachpack/htdp/convert.ss
+++ b/collects/teachpack/htdp/convert.ss
@@ -1,3 +1,4 @@
-#cs(module convert mzscheme
-  (require (lib "convert.ss" "htdp"))
-  (provide (all-from (lib "convert.ss" "htdp"))))
+#lang mzscheme
+
+(require htdp/convert)
+(provide (all-from htdp/convert))
diff --git a/collects/teachpack/htdp/testing.ss b/collects/teachpack/htdp/testing.ss
index fc8b1452d5..ae3e4d29f1 100644
--- a/collects/teachpack/htdp/testing.ss
+++ b/collects/teachpack/htdp/testing.ss
@@ -1,3 +1,3 @@
-(module testing mzscheme
-  (provide (all-from (lib "testing.ss" "htdp")))
-  (require (lib "testing.ss" "htdp")))
+#lang scheme 
+(require htdp/testing)
+(provide (all-from-out htdp/testing))