update HISTORY.txt for 8.17

rfindler · rfindler · commit 09739fa42f13 · 2025-04-11T16:11:13.000-05:00
(cherry picked from commit 5d130e7)
diff --git a/redex-lib/redex/HISTORY.txt b/redex-lib/redex/HISTORY.txt
@@ -6,6 +6,8 @@ v8.17
 
   * fixed the rendering of nonterminals that have both subscripts and primes
 
+  * minor bug fix in redex's typesetting code
+
 v8.16
 
   * bug fixes
