From 9fb44fae2932224e5bb278cb7c07deadfca2550a Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 25 Jan 2024 14:53:36 +0100 Subject: [PATCH] doc: remove nightly and other outdated references (#3027) --- README.md | 7 +------ doc/setup.md | 4 ++-- 2 files changed, 3 insertions(+), 8 deletions(-) diff --git a/README.md b/README.md index d83a517461..629be06b65 100644 --- a/README.md +++ b/README.md @@ -1,13 +1,8 @@ This is the repository for **Lean 4**. -We provide [nightly releases](https://github.com/leanprover/lean4-nightly/releases) -and have just begun regular [stable point releases](https://github.com/leanprover/lean4/releases). - # About -- [Quickstart](https://github.com/leanprover/lean4/blob/master/doc/quickstart.md) -- [Walkthrough installation video](https://www.youtube.com/watch?v=yZo6k48L0VY) -- [Quick tour video](https://youtu.be/zyXtbb_eYbY) +- [Quickstart](https://lean-lang.org/lean4/doc/quickstart.html) - [Homepage](https://lean-lang.org) - [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/) - [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/) diff --git a/doc/setup.md b/doc/setup.md index 579bdd93e7..80950ae66e 100644 --- a/doc/setup.md +++ b/doc/setup.md @@ -2,7 +2,7 @@ ### Tier 1 -Platforms built & tested by our CI, available as nightly releases via elan (see below) +Platforms built & tested by our CI, available as binary releases via elan (see below) * x86-64 Linux with glibc 2.27+ * x86-64 macOS 10.15+ @@ -10,7 +10,7 @@ Platforms built & tested by our CI, available as nightly releases via elan (see ### Tier 2 -Platforms cross-compiled but not tested by our CI, available as nightly releases +Platforms cross-compiled but not tested by our CI, available as binary releases Releases may be silently broken due to the lack of automated testing. Issue reports and fixes are welcome.