update NEWS file

diff --git a/NEWS b/NEWS
index a740934926750196c0d48a12a73eb4c2779e0275..9e80d5f29b4e8544d17c9a00418e95b3a43875c2 100644 (file)
--- 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