From dda60737dc94a1e7b4d7aaffdd0c24cd43286bc7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 18 Feb 2025 15:03:24 -0800
Subject: [PATCH] updated release notes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES.md | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 6697fb348..350bbc4ae 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -4,17 +4,13 @@ Version 4.next
 ================
 - Planned features
   - sat.euf 
-    - a new CDCL core for SMT queries. It extends the SAT engine with theory solver plugins.
-      the current state is unstable. It lacks efficient ematching.
-  - polysat
-    - native word level bit-vector solving.
-  - introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
+    - CDCL core for SMT queries. It extends the SAT engine with theory solver plugins.
+  - add global incremental pre-processing for the legacy core.
 
 Version 4.14.1
 ==============
 - Improved integer cut algorithms for linear integer arithmetic.
 
-
 Version 4.14.0
 ==============
 - [SLS modulo theories](https://microsoft.github.io/z3guide/programming/Local%20Search/) engine v1 release.