...
svn: r9986
This commit is contained in:
parent
7909426f60
commit
645cd87c81
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user