Release 2.4 with HOFs

README.md

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

build.sbt

 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"
 )