From eb2d7648aa8e41acc0722ebfcf0963449645ba9b Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Fri, 2 May 2014 23:36:45 -0400
Subject: [PATCH] doc(README.md): use .svg Lean logo; centering

[skip ci]
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index cd5b86f457..febb63d6ea 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-![Logo](images/lean.png)
+<p align=center><img src="https://leanprover.github.io/images/lean_logo.svg" alt="logo" width="300px"/></p>
 <table>
   <tr>
     <th>Ubuntu</th><th>OS X</th><th>Windows</th><th>Coverage</th><th>Builds/Tests</th><th>Static Analysis</th>