From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 28 Jan 2013 20:26:41 +0000 (-0500)
Subject: Updated NEWS for recent changes.
X-Git-Tag: cvc5-1.0.0~7441
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=63833653ed144de234c99af4f8a2e0b7deceab0c;p=cvc5.git

Updated NEWS for recent changes.
---

diff --git a/NEWS b/NEWS
index f595e6c86..c25f09f5a 100644
--- a/NEWS
+++ b/NEWS
@@ -6,5 +6,6 @@ Changes since 1.0
 * tuple and record support in the compatibility library
 * user patterns are now supported in the SMT-LIBv1.2 parser
 * SMT-LIB get-model output now is easier to machine-parse: contains (model...)
+* Win32 support via mingw
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 23 Jan 2013 16:01:40 -0500
+-- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 28 Jan 2013 15:26:24 -0500