From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 30 Jun 2014 19:47:59 +0000 (-0400)
Subject: Update NEWS
X-Git-Tag: cvc5-1.0.0~6711
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf998dd81ebaf35d4871f3455b7cb84e1fe5972c;p=cvc5.git

Update NEWS
---

diff --git a/NEWS b/NEWS
index f227952fe..ee45c201b 100644
--- a/NEWS
+++ b/NEWS
@@ -25,6 +25,8 @@ Changes since 1.3
   Previous versions inadvertently permitted clients to do this via the
   API.  This has been corrected, copy and assignment of the SmtEngine
   is no longer permitted.
+* Theory of finite sets, handling the MLSS fragment (singleton, union,
+  intersection, set subtraction, membership and subset).
 
 Changes since 1.2
 =================