From 7c076eb573571da586928ab45f0baf4fc096586e Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Wed, 4 Jun 2008 05:58:15 +0000
Subject: [PATCH] ...

svn: r10118
---
 doc/release-notes/stepper/DESIGN-NOTES | 8 ++++++++
 doc/release-notes/stepper/HISTORY.txt  | 3 ++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/doc/release-notes/stepper/DESIGN-NOTES b/doc/release-notes/stepper/DESIGN-NOTES
index e065e52d17..5b5b8e0d2d 100644
--- a/doc/release-notes/stepper/DESIGN-NOTES
+++ b/doc/release-notes/stepper/DESIGN-NOTES
@@ -903,3 +903,11 @@ begin0 worked, too...
 
 2006-11-13
 
+**************
+
+Yeah, I think begin0 works now, too... supporting check- forms turned out to be MUCH
+harder than I expected.  Don't ask me about lazy scheme.  Or Advanced.  Grr!
+
+2008-05-08
+
+
diff --git a/doc/release-notes/stepper/HISTORY.txt b/doc/release-notes/stepper/HISTORY.txt
index 2ffbd5114e..6ff526ad34 100644
--- a/doc/release-notes/stepper/HISTORY.txt
+++ b/doc/release-notes/stepper/HISTORY.txt
@@ -105,5 +105,6 @@ None.
 
 Changes for v372: support for check-expect, check-within, and check-error
 
-
+Changes for v4.0: overhauled support for check-expect, check-within,
+check-error.