Update NEWS file (#2804)

diff --git a/NEWS b/NEWS
index 0cc8cab446dc824197cdfbc8e07211226190f233..f36460a275bf3b4ae0c9b693f9a0a5ccb6bf9782 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -4,12 +4,18 @@ Changes since 1.6
 =================
 
 New Features:
+* Strings: Support for `str.replaceall` operator.
 
 Improvements:
 
 Changes:
 * API change: Expr::iffExpr() is renamed to Expr::eqExpr() to reflect its
               actual behavior.
+* Compiling the language bindings now requires SWIG 3 instead of SWIG 2.
+* The CVC3 compatibility layer has been removed.
+* The build system now uses CMake instead of Autotools. Please refer to
+* [INSTALL.md](https://github.com/CVC4/CVC4/blob/master/INSTALL.md) for
+  up-to-date instructions on how to build CVC4.
 
 Changes since 1.5
 =================