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.x badge
[![sbt-libisabelle Scala version support](https://index.scala-lang.org/larsrh/sbt-libisabelle/sbt-libisabelle/latest-by-scala-version.svg?platform=sbt1)](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)