From b4dd5d3d08f309ff2d90a8abbb09bc019af95b7e Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Sat, 12 Dec 2015 11:46:02 +0000
Subject: [PATCH] Rewrite intro text in ``README.md``.

---
 README.md | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 46a39134b..9ca373f87 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,14 @@
 # Z3
 
-Z3 is a theorem prover from Microsoft Research.
-Z3 is licensed under the MIT license.
-Z3 can be built using Visual Studio Command Prompt and make/g++.
+Z3 is a theorem prover from Microsoft Research. It is licensed
+under the [MIT license](LICENSE.txt).
+
+Z3 can be built using [Visual Studio][1] or a [Makefile][2]. It provides
+[bindings for several programming languages][3].
+
+[1]: #building-z3-on-windows-using-visual-studio-command-prompt
+[2]: #building-z3-using-make-and-gccclang
+[3]: #z3-bindings
 
 ## Building Z3 on Windows using Visual Studio Command Prompt