Update README according to the new website (#3438)

diff --git a/README.md b/README.md
index faef42e665e37079ae792c1b5cde3415924d8e51..b22882d57aee6e29c4e120b77c9453107d95ae98 100644 (file)
--- a/README.md
+++ b/README.md
@@ -13,6 +13,11 @@ modulo a first order theory (or a combination of such theories).  It is the
 fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
 CVC3) but does not directly incorporate code from any previous version.
 
+If you are using CVC4 in your work, or incorporating it into software of your
+own, we invite you to send us a description and link to your
+project/software, so that we can link it on our [Third Party
+Applications](https://cvc4.github.io/third-party-applications.html) page.
+
 CVC4 is intended to be an open and extensible SMT engine.  It can be used as a
 stand-alone tool or as a library.  It has been designed to increase the
 performance and reduce the memory overhead of its predecessors.  It is written
@@ -22,10 +27,17 @@ entirely in C++ and is released under an open-source software license (see file
 
 Website
 -------------------------------------------------------------------------------
+CVC4's website  is available at:
+http://cvc4.cs.stanford.edu/
 
-More information about CVC4 is available at:
+Documentation
+-------------------------------------------------------------------------------
+Documentation for users of CVC4 is available at:
 http://cvc4.cs.stanford.edu/
 
+Documentation for developers is available at:
+https://github.com/CVC4/CVC4/wiki/Developer-Guide
+
 Download
 -------------------------------------------------------------------------------
 
@@ -47,25 +59,6 @@ For detailed build and installation instructions on these platforms,
 see file [INSTALL.md](https://github.com/CVC4/CVC4/blob/master/INSTALL.md).
 
 
-Getting Started
--------------------------------------------------------------------------------
-
-We recommend that you visit our CVC4 tutorials online at:
-
-  http://cvc4.cs.stanford.edu/wiki/Tutorials
-
-for help getting started using CVC4.
-
-If you need help with using CVC4, please refer to
-[http://cvc4.stanford.edu#technical-support](
-                                    http://cvc4.stanford.edu#technical-support).
-
-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](http://cvc4.cs.stanford.edu/wiki/Public:Third_Party_Applications).
-
-
 Bug Reports
 -------------------------------------------------------------------------------