larsrh / sbt-libisabelle 0.6.1

Apache License 2.0 Website GitHub

sbt helper for libisabelle (DISCONTINUED)

Scala versions: 2.12

sbt plugins: 1.0

sbt-libisabelle 0.3.1

Group ID:

info.hupel

Artifact ID:

sbt-libisabelle_2.10_0.13

Version:

0.3.1

Release Date:

Nov 5, 2016

Licenses:

MIT

Files:

Full Scala Version:

2.10.6

Developers:

Lars Hupel |

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