From e78975078daee6e0b3560242a57cb5e441aee48e Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Thu, 24 Sep 2015 12:48:11 +0200
Subject: [PATCH] bump libisabelle version for improved Windows compatibility

The test target `isabelle:test` now executes cleanly on Windows,
including bootstrapping.
---
 build.sbt | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/build.sbt b/build.sbt
index c5ac64d0e..b7507c6ec 100644
--- a/build.sbt
+++ b/build.sbt
@@ -35,9 +35,9 @@ libraryDependencies ++= Seq(
   "org.scala-lang" % "scala-compiler" % "2.11.6",
   "org.scalatest" %% "scalatest" % "2.2.4" % "test",
   "com.typesafe.akka" %% "akka-actor" % "2.3.4",
-  "info.hupel" %% "libisabelle" % "0.1",
-  "info.hupel" %% "libisabelle-setup" % "0.1",
-  "info.hupel" %% "pide-2015" % "0.1",
+  "info.hupel" %% "libisabelle" % "0.1.1",
+  "info.hupel" %% "libisabelle-setup" % "0.1.1",
+  "info.hupel" %% "pide-2015" % "0.1.1",
   "com.fasterxml.jackson.module" %% "jackson-module-scala" % "2.6.0-rc2"
 )
 
-- 
GitLab