larsrh / sbt-libisabelle   0.6.1

Apache License 2.0 Website GitHub

sbt helper for libisabelle (DISCONTINUED)

Scala versions: 2.12
sbt plugins: 1.x

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)