diff options
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 |