From b00f8ebeb7e429877f752b6088571cdd99805786 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Tue, 5 Jan 2021 13:01:01 +0100 Subject: [PATCH] doc: remind people to update elan --- doc/setup.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/setup.md b/doc/setup.md index 99b09edaa4..6a92bc7eeb 100644 --- a/doc/setup.md +++ b/doc/setup.md @@ -10,9 +10,10 @@ There are currently two ways to set up a Lean 4 development environment: Release builds for all supported platforms are available at . Instead of downloading these and setting up the paths manually, however, it is recommended to use the Lean version manager [`elan`](https://github.com/Kha/elan) instead: ```sh -# download & activate latest Lean 4 release +$ elan self update # in case you haven't updated elan in a while +# download & activate latest Lean 4 release (https://github.com/leanprover/lean4/releases) $ elan default leanprover/lean4:stable -# alternatively, use the latest nightly build +# alternatively, use the latest nightly build (https://github.com/leanprover/lean4-nightly/releases) $ elan default leanprover/lean4:nightly # alternatively, activate Lean 4 in current directory only $ elan override leanprover/lean4:stable