diff options
| author | Théo Zimmermann | 2017-04-18 13:27:53 +0200 |
|---|---|---|
| committer | GitHub | 2017-04-18 13:27:53 +0200 |
| commit | 4ba9bbb4cb1a04798e862d30064ba29f6f5523d9 (patch) | |
| tree | 6854771881425ac6944b127bbc39409a42e38d0d /README.md | |
| parent | beb3acd2fd3831404f0be2da61d3f28e210e8349 (diff) | |
Adding and fixing links in README.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -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. |