update link to reference manual (#585)

leanprover-community · Feb 4, 2025 · 7ed5625 · 7ed5625
1 parent a06c7f4
commit 7ed5625
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/templates/learn.md b/templates/learn.md
@@ -55,7 +55,7 @@ doing Lean exercises on the fly:
   It also has useful information about the type theory of Lean, and an associated VSCode project with exercises.
 
 If you want something more focused on Lean itself than on using Lean, then you
-can read the [reference manual](https://lean-lang.org/lean4/doc/).
+can read the [reference manual](https://lean-lang.org/doc/reference/latest/) ([old manual](https://lean-lang.org/lean4/doc/)).
 
 ## (Meta)-programming and tactic writing