sbt helper for libisabelle (DISCONTINUED)

Latest version

[![sbt-libisabelle Scala version support](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle/latest.svg](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle)

sbt 1.0 badge

[![sbt-libisabelle Scala version support](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle/latest-by-scala-version.svg?platform=sbt1.0](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle)

sbt 0.13 badge

[![sbt-libisabelle Scala version support](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle/latest-by-scala-version.svg?platform=sbt0.13](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle)