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

Group ID:

info.hupel

Artifact ID:

sbt-libisabelle_2.12_1.0

Version:

0.6.0

Release Date:

Aug 17, 2017

Licenses:

MIT

Files:

addSbtPlugin("info.hupel" % "sbt-libisabelle" % "0.6.0")