From cf998dd81ebaf35d4871f3455b7cb84e1fe5972c Mon Sep 17 00:00:00 2001 From: Kshitij Bansal Date: Mon, 30 Jun 2014 15:47:59 -0400 Subject: [PATCH] Update NEWS --- NEWS | 2 ++ 1 file changed, 2 insertions(+) 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 ================= -- 2.30.2