chore: update history

josdejong · Sep 4, 2024 · db913e5 · db913e5
1 parent d1ecf44
commit db913e5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/HISTORY.md b/HISTORY.md
@@ -2,9 +2,12 @@
 
 # changes since 13.1.1
 
+- Fix: #3253 cannot use identifiers containing special characters in function
+  `derivative`.
 - Fix: improve the type definitions of `ConstantNode` to support all data 
   types (#3257). Thanks @smith120bh.
 - Fix: #3259 function `symbolicEqual` missing in the TypeScript definitions.
+- Fix: #3246 function `leafCount` missing in the TypeScript definitions.
 - Docs: fix broken links on the Configuration page. Thanks @vassudanagunta.
 
 # 2024-08-27, 13.1.1