From 2c35696fed539be3ce5925124bbf52fe2783c49d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 25 Aug 2014 11:20:56 -0700
Subject: [PATCH] chore(README.md): remove link to Lean 0.1

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 README.md | 2 --
 1 file changed, 2 deletions(-)

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
 -----