Updated NEWS, README, RELEASE-NOTES.

1 files changed, 15 insertions, 18 deletions

diff --git a/README b/README
index bd4f29b57..ac3068536 100644
--- a/README
+++ b/README
@@ -1,12 +1,9 @@
-This is CVC4 release version 1.4.  For build and installation notes,
+This is CVC4 release version 1.5.  For build and installation notes,
 please see the INSTALL file included with this distribution.
 
-This first official release of CVC4 is the result of more than three
-years of efforts by researchers at New York University and The
-University of Iowa.  The project leaders are Clark Barrett (New York
-University) and Cesare Tinelli (The University of Iowa).  For a full
-list of authors, please refer to the AUTHORS file in the source
-distribution.
+The project leaders are Clark Barrett (Stanford University) and Cesare Tinelli
+(The University of Iowa).  For a full list of authors, please refer to the
+AUTHORS file in the source distribution.
 
 CVC4 is a tool for determining the satisfiability of a first order
 formula modulo a first order theory (or a combination of such
@@ -28,7 +25,7 @@ distribution.
 
 We recommend that you visit our CVC4 tutorials online at:
 
-  http://cvc4.cs.nyu.edu/wiki/Tutorials
+  http://cvc4.cs.stanford.edu/wiki/Tutorials
 
 for help getting started using CVC4.
 
@@ -36,24 +33,24 @@ for help getting started using CVC4.
 
 We are always happy to hear feedback from our users:
 
-* if you need help with using CVC4, please write to the
-  cvc-users@cs.nyu.edu mailing list.
+* if you need help with using CVC4, please refer to
+  http://cvc4.stanford.edu/#Technical_Support.
 
 * if you need to report a bug with CVC4, or make a feature request,
-  please visit our bugtracker at http://cvc4.cs.nyu.edu/bugs/ or write
-  to the cvc-bugs@cs.nyu.edu mailing list.  We are very grateful for
+  please visit our bugtracker at http://cvc4.cs.stanford.edu/bugs/ or write
+  to the cvc-bugs@cs.stanford.edu mailing list.  We are very grateful for
   bug reports, as they help us improve CVC4, and patches are generally
   reviewed and accepted quickly.
 
 * if you are using CVC4 in your work, or incorporating it into
   software of your own, we'd like to invite you to leave a description
   and link to your project/software on our "Third Party Applications"
-  page at http://cvc4.cs.nyu.edu/wiki/Public:Third_Party_Applications
+  page at http://cvc4.cs.stanford.edu/wiki/Public:Third_Party_Applications
 
-* if you are interested in contributing code (for example, a new
-  decision procedure implementation) to the CVC4 project, please
-  contact us at cvc4-devel@cs.nyu.edu.  We'd be happy to point you to
-  some internals documentation to help you out.
+* if you are interested in contributing code (for example, a new decision
+  procedure implementation) to the CVC4 project, please contact one of the
+  project leaders.  We'd be happy to point you to some internals documentation
+  to help you out.
 
 Thank you for using CVC4!
 
@@ -100,4 +97,4 @@ in short order.
 
 *** For more information
 
-More information about CVC4 is available at: http://cvc4.cs.nyu.edu/
+More information about CVC4 is available at: http://cvc4.cs.stanford.edu/