diff --git a/README.md b/README.md
index d63877d15..ffaa70dbe 100644
--- a/README.md
+++ b/README.md
@@ -14,8 +14,6 @@
   </tr>
 </table>
 
-**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leanprover/lean0.1).**
-
 About
 -----