Merge branch 'main' into nightly

leanprover · Nov 4, 2024 · 56ea5a0 · 56ea5a0
2 parents 039d23a + 726b3c9
commit 56ea5a0
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/Cli/Basic.lean b/Cli/Basic.lean
@@ -256,7 +256,7 @@ section Configuration
     parse? s := do
       if s == ".lean" then
         none
-      let name := 
+      let name :=
         if s.endsWith ".lean" then
           let pathComponents := (s : FilePath).withExtension "" |>.components
           pathComponents.foldl .mkStr .anonymous

diff --git a/README.md b/README.md
@@ -1,6 +1,6 @@
 # lean4-cli
 ## Usage
-See [the documentation of Lake](https://github.com/leanprover/lake).
+See [the documentation of Lake](https://github.com/leanprover/lean4/blob/master/src/lake/README.md).
 
 Use one of the following for the `<tag>` in the dependency source `Source.git "https://github.com/leanprover/lean4-cli.git" "<tag>"`:
 - `main` if you want to stay in sync with Lean 4 stable releases. The `main` branch will contain a working version of lean4-cli for the most recent Lean 4 stable release.

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2024-06-05
+leanprover/lean4:v4.14.0-rc1
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2024-06-05
		leanprover/lean4:v4.14.0-rc1