incorporating some comments from Clark

diff --git a/README b/README
index 4ae4726596551cbbd6d8136ea7d2f54afb45a686..bedd7721ae6d54e669edf9b0fba4ff976598f957 100644 (file)
--- a/README
+++ b/README
@@ -96,9 +96,8 @@ and the use of heavyweight computation (where more nimble engineering
 approaches could suffice) makes CVC3 a much slower prover than other
 tools.  As these designs are central to CVC3, a new version was
 preferable to a selective re-engineering, which would have ballooned
-in short order.  Some specific deficiencies of CVC3 are mentioned in
-this article.
+in short order.
 
 *** For more information
 
-More information about CVC4 is available at: http://cs.nyu.edu/acsys/cvc4
+More information about CVC4 is available at: http://cvc4.cs.nyu.edu/