From 4ba9bbb4cb1a04798e862d30064ba29f6f5523d9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 18 Apr 2017 13:27:53 +0200
Subject: Adding and fixing links in README.

---
 README.md | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 867951b7a5..91f9c560e8 100644
--- a/README.md
+++ b/README.md
@@ -7,15 +7,17 @@ mathematical definitions, executable algorithms and theorems together with an
 environment for semi-interactive development of machine-checked proofs.
 
 ## Installation
-See the file `INSTALL` for installation procedure.
+Go to the [download page](https://coq.inria.fr/download) for Windows and MacOS packages;
+read the [help page](https://coq.inria.fr/opam/www/using.html) on how to install Coq with OPAM;
+or refer to the [`INSTALL` file](/INSTALL) for the procedure to install from source.
 
 ## Documentation
 The documentation is part of the archive in directory doc. The
 documentation of the last released version is available on the Coq
-web site at [coq.inria.fr/doc](http://coq.inria.fr/doc).
+web site at [coq.inria.fr/documentation](http://coq.inria.fr/documentation).
 
 ## Changes
-There is a file named `CHANGES` that explains the differences and the
+There is a file named [`CHANGES`](/CHANGES) that explains the differences and the
 incompatibilities since last versions. If you upgrade Coq, please read
 it carefully.
 
-- 
cgit v1.2.3