1 files changed, 2 insertions, 1 deletions

diff --git a/NEWS b/NEWS
index 64ded5339..2589fda87 100644
--- a/NEWS
+++ b/NEWS
@@ -3,7 +3,8 @@ This file contains a summary of important user-visible changes.
 Changes since 1.4
 =================
 
-* nothing yet
+* Support for unsat cores.
+* Simplification mode "incremental" no longer supported.
 
 Changes since 1.3
 =================