start on 9.3 HISTORY.txt

rfindler · rfindler · commit 09ea518802c7 · 2026-04-19T20:00:59.000-05:00
diff --git a/drracket/drracket/HISTORY.txt b/drracket/drracket/HISTORY.txt
@@ -1,3 +1,12 @@
+------------------------------
+       Version 9.3
+------------------------------
+
+ . In the "use the language in the source" setting in the language
+   dialog, drracket asks the #lang language what the default value of
+   the annotations should be, enabling the #lang-based teaching
+   languages to default to test coverage.
+
 ------------------------------
        Version 9.2
 ------------------------------
