From 029e32fd84f9297999f0d0c611c9c4fef265d36d Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Tue, 2 Mar 2021 19:35:15 +0100 Subject: Simplify installation instructions in README. Now that they are well described on the website. --- README.md | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 743bcf128a..8f4084c0a4 100644 --- a/README.md +++ b/README.md @@ -65,12 +65,9 @@ environment for semi-interactive development of machine-checked proofs. [coqorg-badge]: https://images.microbadger.com/badges/version/coqorg/coq.svg [coqorg-link]: https://github.com/coq-community/docker-coq/wiki#docker-coq-images "coqorg/coq:latest" -Download the pre-built packages of the [latest release][] for Windows and macOS; -read the [help page][opam-using] on how to install Coq with OPAM; -or refer to the [`INSTALL.md`](INSTALL.md) file for the procedure to install from source. - -[latest release]: https://github.com/coq/coq/releases/latest -[opam-using]: https://coq.inria.fr/opam/www/using.html +Users should refer to the https://coq.inria.fr/download page. +Information on how to build and install from sources can be found in +[`INSTALL.md`](INSTALL.md). ## Documentation -- cgit v1.2.3 From b54ead93b6710b25337664a128bcfe9e684d342f Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Tue, 2 Mar 2021 21:55:22 +0100 Subject: Simplify wording. Co-authored-by: Jim Fehrle --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 8f4084c0a4..12d66a4c75 100644 --- a/README.md +++ b/README.md @@ -65,7 +65,7 @@ environment for semi-interactive development of machine-checked proofs. [coqorg-badge]: https://images.microbadger.com/badges/version/coqorg/coq.svg [coqorg-link]: https://github.com/coq-community/docker-coq/wiki#docker-coq-images "coqorg/coq:latest" -Users should refer to the https://coq.inria.fr/download page. +Please see https://coq.inria.fr/download. Information on how to build and install from sources can be found in [`INSTALL.md`](INSTALL.md). -- cgit v1.2.3