README: In preamble, mention Lean3-Mode.

leanprover-community · Nov 17, 2024 · 76cc9bf · 76cc9bf
1 parent 7f3a637
commit 76cc9bf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.org b/README.org
@@ -4,6 +4,8 @@ This package extends GNU Emacs by providing a major-mode for editing
 code written in version 4 of the programming language and theorem
 prover Lean.
 
+For version 3 of Lean, use [[https://github.com/leanprover/lean3-mode][Lean3-Mode]] (formerly known as /Lean-Mode/).
+
 * Installation
 
 ** Briefly