From 91d75ef326d2863e9e6653459a1454ad437938ea Mon Sep 17 00:00:00 2001 From: John Clements Date: Wed, 18 Dec 2013 09:34:48 -0800 Subject: [PATCH] updated stepper HISTORY. Please merge to 6.0 release (cherry picked from commit e3efaf5f05e94d36d4450400641ac4ec2560b0aa) --- pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt b/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt index fdc0048d40..4161dd10ee 100644 --- a/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt +++ b/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt @@ -1,5 +1,8 @@ Stepper ------- +Changes for 5.6: + +Minor bug fixes. Changes for 5.3.6: