Minor.

diff --git a/COPYING b/COPYING
index 102bf41f62bada8a686a9a346927e63271a54208..b07cc669e37c0289a4b248d5e9ad0749b8eca95c 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -23,7 +23,7 @@ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Tue, 17 Jun 2014 17:08:22 -0400
+-- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 02 Jul 2014 14:44:39 -0400
 
 CVC4 incorporates MiniSat code, excluded from the above copyright.
 See src/sat/minisat.  Its copyright:

diff --git a/NEWS b/NEWS
index 431c9598042d0540249e16fb7451365fad890119..19215fd97debdb113f9408ea9ca36913c0e1bb8f 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -99,4 +99,4 @@ Changes since 1.0
   "unsat") as well.  Now, single -q silences messages and warnings, and
   double -qq silences all output (except on exception or signal).
 
--- Morgan Deters <mdeters@cs.nyu.edu>  Mon, 16 Jun 2014 22:23:12 -0400
+-- Morgan Deters <mdeters@cs.nyu.edu>  Wed, 02 Jul 2014 14:45:05 -0400

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 90840d99a29c36ce9bd92eb8bf8695c251b7c2d7..2d6eaeab1811410cf38bd47ea21147f0f37412e4 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -1,4 +1,4 @@
-Release Notes for CVC4 1.4, June 2014
+Release Notes for CVC4 1.4, July 2014
 
 ** Getting started