update HISTORY for 8.16

racket · Jan 13, 2025 · 780c72f · 780c72f
1 parent e50fc17
commit 780c72f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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
 ------------------------------