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

sbt-libisabelle

Found 4 versions
0.7.0-RC1
6 years ago
Apache-2.0
sbt 1.x:
2.12
0.6.1
7 years ago
Apache-2.0
sbt 1.x:
2.12
0.6.0
7 years ago
MIT
sbt 1.x:
2.12
0.5.1
7 years ago
MIT
sbt 0.13:
2.10
sbt 1.x:
2.12