From 46a48f1db9cab35dd55e47d50ef98321654fb091 Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Tue, 4 Feb 2014 15:46:01 +0100
Subject: [PATCH] Release Leon 2.2 with generics

---
 README.md | 9 ++++++++-
 build.sbt | 2 +-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 9f22b12ae..9a70180fa 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 2.1
+Leon 2.2
 ==========
 
 Getting Started
@@ -130,6 +130,13 @@ Use ```sbt test``` to run all the tests.
 Changelog
 ---------
 
+#### v2.2
+*Released 04.02.2014*
+
+* Generics for functions and ADTs
+* Use instantiation-time mixing for timeout sovlers
+* Improve unrolling solvers to use incremental solvers
+
 #### v2.1
 *Released 10.01.2014*
   
diff --git a/build.sbt b/build.sbt
index b2eb3571b..cb03e4a5e 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,6 +1,6 @@
 name := "Leon"
 
-version := "2.1"
+version := "2.2"
 
 organization := "ch.epfl.lara"
 
-- 
GitLab