deploy using Scala 2.12.x

larsrh · Jul 29, 2017 · 25f4d76 · 25f4d76
1 parent 0874d52
commit 25f4d76
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -1,8 +1,8 @@
 language: java
 env:
   matrix:
-    - ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.11.8 PROFILE=quick
-    - ISABELLE_VERSION=stable:2016-1 SCALA_VERSION=2.11.8 PROFILE=quick
+    - ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.11.10 PROFILE=quick
+    - ISABELLE_VERSION=stable:2016-1 SCALA_VERSION=2.11.10 PROFILE=quick
 os:
   - osx
 script:
@@ -32,21 +32,21 @@ matrix:
         apt:
           packages:
             - lib32stdc++6
-    - env: ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.11.8 PROFILE=slow DEPLOY=1
+    - env: ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.11.10 PROFILE=slow
       os: linux
       jdk: oraclejdk8
       addons:
         apt:
           packages:
             - lib32stdc++6
-    - env: ISABELLE_VERSION=stable:2016-1 SCALA_VERSION=2.12.2 PROFILE=slow
+    - env: ISABELLE_VERSION=stable:2016-1 SCALA_VERSION=2.12.3 PROFILE=slow DEPLOY=1
       os: linux
       jdk: oraclejdk8
       addons:
         apt:
           packages:
             - lib32stdc++6
-    - env: ISABELLE_VERSION=devel:isabelle-mirror SCALA_VERSION=2.12.2 PROFILE=devel
+    - env: ISABELLE_VERSION=devel:isabelle-mirror SCALA_VERSION=2.12.3 PROFILE=devel
       os: linux
       jdk: oraclejdk8
       addons:

diff --git a/build.sbt b/build.sbt
@@ -4,7 +4,7 @@ val Version = "(stable:|devel:|)([a-zA-Z0-9-_]+)".r
 lazy val standardSettings = Seq(
   organization := "info.hupel",
   scalaVersion := "2.12.3",
-  crossScalaVersions := Seq("2.10.6", "2.11.8", "2.12.3"),
+  crossScalaVersions := Seq("2.10.6", "2.11.10", "2.12.3"),
   javacOptions += "-Xlint:unchecked",
   homepage := Some(url("http://lars.hupel.info/libisabelle/")),
   licenses := Seq(

diff --git a/modules/docs/src/main/tut/quickstart.md b/modules/docs/src/main/tut/quickstart.md
@@ -12,7 +12,7 @@ import monix.execution.Scheduler.Implicits.global
 
 import info.hupel.isabelle._, info.hupel.isabelle.api._, info.hupel.isabelle.setup._
 
-val setup = Setup.default(Version.Stable("2016"), false).right.get
+val setup = Setup.default(Version.Stable("2016-1"), false).right.get
 val resources = Resources.dumpIsabelleResources().right.get
 val config = Configuration.simple("Protocol")