change string news

diff --git a/NEWS b/NEWS
index 0000eda695451ceba09cddf1f8e380a46a65f40a..02779ed2451f4f8d0dee155025fbe5c5cd126e13 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -14,7 +14,8 @@ Changes since 1.2
   resolved.
 * New :command-verbosity SMT option to silence success and error messages
   on a per-command basis.  API changes to Command infrastructure to support.
-* A new theory of strings.  Currently, only word equations are supported.
+* A new theory of strings: word (dis-)equations, length constraints,
+  regular expressions.
 * Exit codes are now more standard for UNIX command-line tools.  Exit code
   zero means no error---but the result could be sat, unsat, or unknown---and
   nonzero means error.