update HISTORY.txt for 8.18

rfindler · rfindler · commit 25afb4129c57 · 2025-07-26T02:20:48.000-05:00
diff --git a/redex-lib/redex/HISTORY.txt b/redex-lib/redex/HISTORY.txt
@@ -6,6 +6,8 @@ v8.18
     total number of attempts is 1000 or less. Otherwise it caps the
     enumerator to 500 attempts.
 
+  * bug fixes and docs improvements
+
 v8.17
 
   * render-judgment-form and judgment-form->pict are functions, making
