Release Leon 2.2 with generics

README.md

-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*
   

build.sbt

 name := "Leon"
 
-version := "2.1"
+version := "2.2"
 
 organization := "ch.epfl.lara"