chore: update README

leanprover · Oct 31, 2019 · ddfcb93 · ddfcb93
1 parent cbd2b66
commit ddfcb93
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -12,6 +12,8 @@
   </tr>
 </table>
 
+- **Important Lean 3.4.2 is the latest release. It is also the last release for the Lean 3.x code base. We are currently developing [Lean 4](https://github.com/leanprover/lean4). For reporting bugs and bug fixes in Lean 3.x, please go to the [community branch](https://github.com/leanprover-community/lean).**
+
 About
 -----
 
@@ -20,8 +22,8 @@ About
 - [Change Log](doc/changes.md)
 - [FAQ](doc/faq.md)
 - **Important**: Lean 3.4.2 is the latest release. It is also the last release for the Lean 3.x code base. Only major bugs (e.g., soundness) will be fixed for this code base from now on.
-  We are currently developing Lean 4 in a new (private) repository.
-  The Lean 4 source code will be released here when ready. The main goals for Lean 4 are described [here](doc/lean4.md).
+  We are currently developing [Lean 4](https://github.com/leanprover/lean4).
+  The Lean 4 source code will be released here when it is ready.
 - For HoTT mode, please use [Lean2](https://github.com/leanprover/lean2).
 
 Installation