From a19173de1d600e0731b9515c0df9156a3ab2c921 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Tue, 9 Jul 2024 10:38:47 -0400 Subject: [PATCH] history for 8.14; please cherry-pick (cherry picked from commit 29e1c78b43769a778e754b18625b6125f337cdb8) --- htdp-lib/teachpack/HISTORY.txt | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/htdp-lib/teachpack/HISTORY.txt b/htdp-lib/teachpack/HISTORY.txt index 4f73921a..dac9fa0e 100644 --- a/htdp-lib/teachpack/HISTORY.txt +++ b/htdp-lib/teachpack/HISTORY.txt @@ -1,3 +1,8 @@ +------------------------------------------------------------------------ +Version 8.14 [Tue Jul 9 10:37:51 EDT 2024] + +* nothing to report + ------------------------------------------------------------------------ Version 8.13 [Tue Apr 23 17:32:20 EDT 2024]