From cf788e029054c1ee4a0399940422447ddefce878 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 23 Jan 2013 16:11:55 -0500
Subject: [PATCH] update NEWS file

---
 NEWS | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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