From e171bb3f4ee301cdf0b6cbeb8b6f8593a2e11db2 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Mon, 3 Mar 2014 11:29:00 +0100
Subject: [PATCH] Release Leon 2.3

---
 README.md | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 381dddb8b..72753e735 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 2.2
+Leon 2.3
 ==========
 
 Getting Started
@@ -141,6 +141,17 @@ Since the main Leon project depends on the library, you should import both of th
 Changelog
 ---------
 
+#### v2.3
+*Released 03.03.2014*
+
+* Accept multiple files with multiple modules/classes. Support class
+  definitions with methods.
+* Introduce the Leon library with common generic datastructures, List and
+  Option for now.
+* Add PortfolioSolver which tries a list of solvers (--solvers) in parallel.
+* Add EnumerationSolver which uses Vanuatoo to guess models.
+* Add documentation and sbt support for development under Eclipse,
+
 #### v2.2
 *Released 04.02.2014*
 
-- 
GitLab