diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-02 14:45:28 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-07-02 14:45:28 -0400 |
commit | 23ad0f102f8c78fa1ae479af56e48de12a2bae55 (patch) | |
tree | 88741108c5bb86e4f11fb147aa7b81a6e8ff7a29 /RELEASE-NOTES | |
parent | 2700ec6ad1fd23dd4eca0e8855390930299c5d82 (diff) |
Minor.
Diffstat (limited to 'RELEASE-NOTES')
-rw-r--r-- | RELEASE-NOTES | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 90840d99a..2d6eaeab1 100644 --- 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 |