From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 30 Jun 2014 20:25:27 +0000 (-0400)
Subject: reword NEWS
X-Git-Tag: cvc5-1.0.0~6708
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=61ca254309912bb7b03c70f946936600c84bd879;p=cvc5.git

reword NEWS
---

diff --git a/NEWS b/NEWS
index ee45c201b..431c95980 100644
--- a/NEWS
+++ b/NEWS
@@ -3,8 +3,11 @@ This file contains a summary of important user-visible changes.
 Changes since 1.3
 =================
 
-* Building with libc++ instead of libstdc++ (on Mac especially).
+* CVC4 now supports libc++ in addition to libstdc++ (this especially
+  helps on Mac OS Mavericks).
 * The LFSC proof checker has been incorporated into CVC4 sources.
+* Theory of finite sets, handling the MLSS fragment (singleton, union,
+  intersection, set subtraction, membership and subset).
 * By default, CVC4 builds in "production" mode (optimized, with fewer
   internal checks on).  The common alternative is a "debug" build, which
   is much slower.  By default, CVC4 builds with no GPL'ed dependences.
@@ -25,8 +28,6 @@ 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
 =================