fix the outdated link to emacs lean4-mode (#573)

leanprover-community · Jan 9, 2025 · 44ed61f · 44ed61f
1 parent 90fbbb6
commit 44ed61f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/templates/install/linux.md b/templates/install/linux.md
@@ -18,7 +18,7 @@ All commands below should be typed inside a terminal.
 * You will also need a code editor that has a Lean plugin. The
   recommended choice is [Visual Studio Code](https://code.visualstudio.com/) which currently
   has the best Lean support.
-  The alternatives are to use Emacs and its [lean-mode](https://github.com/leanprover/lean-mode)
+  The alternatives are to use Emacs and its [lean4-mode](https://github.com/leanprover/lean4-mode)
   or neovim and its  [lean.nvim extension](https://github.com/Julian/lean.nvim).
 
   1. Install [VS Code](https://code.visualstudio.com/).