From 6169f0a8a5eee1df6ad31485869f240f4a166b29 Mon Sep 17 00:00:00 2001 From: Jos de Jong Date: Wed, 12 Jul 2023 15:03:31 +0200 Subject: [PATCH] docs: update HISTORY.md --- HISTORY.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/HISTORY.md b/HISTORY.md index cc8217cdcc..a1be617f48 100644 --- a/HISTORY.md +++ b/HISTORY.md @@ -1,7 +1,8 @@ # History -# not yet published, 11.8.3 +# not yet published, 11.9.0 +- Implement `solveODE` (#2958). Thanks @dvd101x. - Fix #2974: `simplify` puts plus and minus signs next to each other (#2981). Thanks @MaybePixem. - Fix #2973: fixes and improvements in the embedded docs (#2976).