From 899ec22fe9d23ca4d864bf82c45a3614b2a1393c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Wed, 29 Jan 2014 18:44:03 +0100
Subject: [PATCH] fix out of date info in README.md

---
 README.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index bbd4adb74..9f22b12ae 100644
--- a/README.md
+++ b/README.md
@@ -4,14 +4,14 @@ Leon 2.1
 Getting Started
 ---------------
 
-This section gives a very quick overview of how to build and use Leon, refer to
+This section gives a very quick overview of how to build and use Leon; refer to
 the following sections if you wish (or need) more detailed information.
 
-To build it, you will need, for example, the following:
+To build it, you will need, the following:
 
-* Java Runtime Environment, from Oracle, e.g. Version 7 Update 5 (to run xsbt and scala)
+* Java Runtime Environment, from Oracle, e.g. Version 7 Update 5 (to run sbt and scala)
 * Scala, from Typesafe, e.g. version 2.10.3
-* sbt, e.g. version 0.13.x (to build Leon)
+* sbt, at least version 0.13.1 (to build Leon)
 * a recent GLIBC3 or later, works with e.g. _apt-get_ (for Z3)
 * GNU Multiprecision library, e.g. gmp3, works with e.g. _apt-get_ (for Z3)
 
-- 
GitLab