From 69bfc682b482c1090d2d98f338b31e441a4feb52 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 29 Apr 2014 15:31:29 -0700
Subject: [PATCH] chore(*): replace leodemoura with leanprover

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 README.md                         | 4 ++--
 doc/lean/tutorial.md              | 2 +-
 doc/make/ubuntu-12.04-detailed.md | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 34d2a717e..5ae1f4114 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
     <th>Ubuntu</th><th>OS X</th><th>Windows</th><th>Coverage</th><th>Builds / UnitTests / Dynamic Analyses</th>
   </tr>
   <tr>
-    <td><a href="https://travis-ci.org/leodemoura/lean"><img src="https://travis-ci.org/leodemoura/lean.png?branch=master" title="Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3"/></a></td>
+    <td><a href="https://travis-ci.org/leanprover/lean"><img src="https://travis-ci.org/leanprover/lean.png?branch=master" title="Ubuntu 12.04 LTS 64bit, g++-4.8 | clang++-3.3"/></a></td>
     <td><a href="https://travis-ci.org/soonhokong/lean-osx"><img src="https://travis-ci.org/soonhokong/lean-osx.png?branch=master" title="Mac OS X 10.8.2, g++-4.9"/></a></td>
     <td><a href="https://travis-ci.org/soonhokong/lean-windows"><img src="https://travis-ci.org/soonhokong/lean-windows.png?branch=master" title="Windows, x86_64-w64-mingw32-g++-4.8.2"/></a></td>
     <td><a href="https://coveralls.io/r/soonhokong/lean?branch=master"><img src="https://coveralls.io/repos/soonhokong/lean/badge.png?branch=master"/></a></td>
@@ -11,7 +11,7 @@
   </tr>
 </table>
 
-**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leodemoura/lean0.1).**
+**Remark: Lean 0.2 is under development. To try Lean, please use [version 0.1](https://github.com/leanprover/lean0.1).**
 
 About
 -----
diff --git a/doc/lean/tutorial.md b/doc/lean/tutorial.md
index 80470776b..c6e79ffc4 100644
--- a/doc/lean/tutorial.md
+++ b/doc/lean/tutorial.md
@@ -2,7 +2,7 @@ Lean Tutorial
 =============
 
 **WARNING: This tutoral is for Lean 0.1, before major modifications performed in version 0.2.
-Version 0.2 is still under development. [Here you can find a snapshot of Lean 0.1](https://github.com/leodemoura/lean0.1).**
+Version 0.2 is still under development. [Here you can find a snapshot of Lean 0.1](https://github.com/leanprover/lean0.1).**
 
 Introduction
 ------------
diff --git a/doc/make/ubuntu-12.04-detailed.md b/doc/make/ubuntu-12.04-detailed.md
index 4df255b28..10fb15ca1 100644
--- a/doc/make/ubuntu-12.04-detailed.md
+++ b/doc/make/ubuntu-12.04-detailed.md
@@ -30,7 +30,7 @@ Preparing working environment on Ubuntu 12.04
     sudo apt-get install libboost1.54-dev
     sudo apt-get install libboost-thread1.54-dev
 
-### Fork Lean on github : https://github.com/leodemoura/lean
+### Fork Lean on github : https://github.com/leanprover/lean
 
 ### Create a projects directory