From 63833653ed144de234c99af4f8a2e0b7deceab0c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Mon, 28 Jan 2013 15:26:41 -0500
Subject: [PATCH] Updated NEWS for recent changes.

---
 NEWS | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.30.2