update HISTORY for 9.0

rfindler · rfindler · commit 2c0ced32b9d2 · 2025-10-19T21:44:48.000+08:00
(cherry picked from commit 87d2cfe)
diff --git a/drracket/drracket/HISTORY.txt b/drracket/drracket/HISTORY.txt
@@ -1,3 +1,13 @@
+------------------------------
+       Version 9.0
+------------------------------
+
+  . check syntax tracks identifiers that it finds in the origin fields
+    of identifiers that are in the origin fields (before it would not
+    consider the origin field of identifiers that were in the origin field)
+
+  . bug fixes, documentation improvements, and refactorings
+
 ------------------------------
        Version 8.18
 ------------------------------
