From 780c72fbd80fffd79bab5ca660cabb026e9e9808 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 13 Jan 2025 13:41:13 -0600 Subject: [PATCH] update HISTORY for 8.16 --- drracket/drracket/HISTORY.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/drracket/drracket/HISTORY.txt b/drracket/drracket/HISTORY.txt index c14e89601..c77529bae 100644 --- a/drracket/drracket/HISTORY.txt +++ b/drracket/drracket/HISTORY.txt @@ -1,3 +1,9 @@ +------------------------------ + Version 8.16 +------------------------------ + + . bug fixes specially focused on improving the #lang htdp/ languages + ------------------------------ Version 8.15 ------------------------------