From 645cd87c817dd8a09d0b8485023ec86e8f71dd70 Mon Sep 17 00:00:00 2001 From: John Clements Date: Tue, 27 May 2008 20:21:44 +0000 Subject: [PATCH] ... svn: r9986 --- collects/stepper/internal-docs.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/stepper/internal-docs.txt b/collects/stepper/internal-docs.txt index 9c5ce516c9..7b644c7676 100644 --- a/collects/stepper/internal-docs.txt +++ b/collects/stepper/internal-docs.txt @@ -1,3 +1,6 @@ +;; The first three lines of this file were inserted by DrScheme. They record metadata +;; about the language level of this file in a form that our tools can easily process. +#reader(lib "htdp-intermediate-reader.ss" "lang")((modname internal-docs) (read-case-sensitive #t) (teachpacks ((lib "testing.ss" "teachpack" "htdp") (lib "world.ss" "teachpack" "htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "testing.ss" "teachpack" "htdp") (lib "world.ss" "teachpack" "htdp"))))) This file summarizes certain aspects of the operation of the stepper. The Stepper's use of syntax-property: @@ -238,7 +241,7 @@ stepper-args-of-call [ADDED BY RECONSTRUCTOR] : stepper-hide-completed : don't show the final top-level expression binding for this identifier. -stepper-hide-reduction : don't show the reduction for this term. +stepper-hide-reduction : don't show the "before" step for this term. STEPPER-HINT COLLISIONS