diff --git a/README.md b/README.md
index 9f22b12ae04cd4c401640df834c199cc16ff6905..9a70180fa223d8e13cfdcedae8cb4f888615c5a2 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 b2eb3571ba01d79d96f82ccd0cf3f75c54f3eafe..cb03e4a5ed37da6c0c0937e2a39d48197ef10e21 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,6 +1,6 @@
 name := "Leon"
 
-version := "2.1"
+version := "2.2"
 
 organization := "ch.epfl.lara"