larsrh / sbt-libisabelle   0.6.1

Apache License 2.0 Website GitHub

sbt helper for libisabelle (DISCONTINUED)

Scala versions: 2.12 2.10
sbt plugins: 1.0 0.13

Latest version

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

sbt 0.13 badge

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

sbt 1.x badge

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