diff --git a/README.md b/README.md
index cb8da6c3ba4e8fe5c27f2ad6269cdd445193578a..462741ec206180313bdabd69cb51e6416bc316f3 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-Leon 2.3 [![Build Status](https://travis-ci.org/epfl-lara/leon.png?branch=master)](https://travis-ci.org/epfl-lara/leon)
+Leon 2.4 [![Build Status](https://travis-ci.org/epfl-lara/leon.png?branch=master)](https://travis-ci.org/epfl-lara/leon)
 ==========
 
 Getting Started
@@ -10,7 +10,7 @@ the following sections if you wish (or need) more detailed information.
 To build it, you will need, the following:
 
 * 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
+* Scala, from Typesafe, e.g. version 2.11.5
 * 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)
@@ -158,6 +158,11 @@ but instead
 Changelog
 ---------
 
+#### v2.4
+*Released 10.02.2015*
+
+* Implement support for higher-order functions
+
 #### v2.3
 *Released 03.03.2014*
 
diff --git a/build.sbt b/build.sbt
index 6b5ac2d943909030d36df393ec314487da5d4e1c..9c4c360f094cf1f7fdc8baf90ecbcfabc8cdecd5 100644
--- a/build.sbt
+++ b/build.sbt
@@ -1,10 +1,10 @@
 name := "Leon"
 
-version := "2.3"
+version := "2.4"
 
 organization := "ch.epfl.lara"
 
-scalaVersion := "2.11.2"
+scalaVersion := "2.11.5"
 
 scalacOptions ++= Seq(
     "-deprecation",
@@ -23,7 +23,7 @@ if(System.getProperty("sun.arch.data.model") == "64") {
 resolvers += "Typesafe Repository" at "http://repo.typesafe.com/typesafe/releases/"
 
 libraryDependencies ++= Seq(
-    "org.scala-lang" % "scala-compiler" % "2.11.2",
+    "org.scala-lang" % "scala-compiler" % "2.11.5",
     "org.scalatest" %% "scalatest" % "2.2.0" % "test",
     "com.typesafe.akka" %% "akka-actor" % "2.3.4"
 )