drop 2.10 support

.travis.yml

@@ -25,13 +25,6 @@ deploy:
       secure: YesgpQ6CanVwyHpp852CEHPOt78hdUSZMvPUDE5x1uAWY4U55qIOAFC9kCEqIkAAvUcq7GSuGGmHzDhlhXQic9nEj/YWkLkTypfE7kUicIqcsjhuwn9OF7n4Tu6zQJv2qMtSl2RlGyNEP2UhtBJHb+ukQA33+p06mBhKHJKZ06I=
 matrix:
   include:
-    - env: ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.10.6 PROFILE=quick
-      os: linux
-      jdk: oraclejdk8
-      addons:
-        apt:
-          packages:
-            - lib32stdc++6
     - env: ISABELLE_VERSION=stable:2016 SCALA_VERSION=2.11.10 PROFILE=slow
       os: linux
       jdk: oraclejdk8

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.10", "2.12.3"),
+  crossScalaVersions := Seq("2.11.10", "2.12.3"),
   javacOptions += "-Xlint:unchecked",
   homepage := Some(url("http://lars.hupel.info/libisabelle/")),
   licenses := Seq(
@@ -71,7 +71,6 @@ lazy val noPublishSettings = Seq(
 
 lazy val macroSettings = Seq(
   libraryDependencies ++= Seq(
-    "org.typelevel" %% "macro-compat" % "1.1.1",
     scalaOrganization.value % "scala-compiler" % scalaVersion.value % "provided",
     scalaOrganization.value % "scala-reflect" % scalaVersion.value % "provided",
     compilerPlugin("org.scalamacros" % "paradise" % "2.1.0" cross CrossVersion.patch)

modules/libisabelle/src/main/scala/internal/Macros.scala

@@ -8,8 +8,6 @@ import cats.syntax.traverse._
 import info.hupel.isabelle._
 import info.hupel.isabelle.pure._
 
-import macrocompat.bundle
-
 object Macros {
 
   def fuse(terms: List[Program[Term]], parts: List[String]): Program[String] = {
@@ -26,7 +24,6 @@ object Macros {
 
 }
 
-@bundle
 class Macros(val c: whitebox.Context { type PrefixType <: ExprStringContext.term.type }) {
 
   import c.universe.{Expr => _, _}