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