From b23d8ed2b476c4577c8651fa662f89bf32fb857b Mon Sep 17 00:00:00 2001 From: John Clements Date: Tue, 23 Jul 2013 13:36:04 -0400 Subject: [PATCH] updated HISTORY Merge to 5.3.6 release. --- pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt b/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt index 7441b58b18..2d6f0131a4 100644 --- a/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt +++ b/pkgs/htdp-pkgs/htdp-lib/stepper/HISTORY.txt @@ -1,6 +1,10 @@ Stepper ------- +Changes for 5.3.6: + +Files all in completely new locations, otherwise unchanged. + Changes for 5.3.4: None.