From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 23 Jan 2013 21:11:55 +0000 (-0500)
Subject: update NEWS file
X-Git-Tag: cvc5-1.0.0~7391^2~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf788e029054c1ee4a0399940422447ddefce878;p=cvc5.git

update NEWS file
---

diff --git a/NEWS b/NEWS
index a74093492..9e80d5f29 100644
--- a/NEWS
+++ b/NEWS
@@ -1,5 +1,8 @@
 This file contains a summary of important user-visible changes.
 
-This is the first public release, CVC4 1.0.
+Changes since 1.0
+=================
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Sat, 01 Dec 2012 12:53:23 -0500
+* numerous bug fixes, usability improvements, and build system improvements
+
+-- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 23 Jan 2013 16:11:10 -0500