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 17 versions
0.7.0-RC1
7 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
0.5.0
8 years ago
MIT
sbt 0.13:
2.10
0.4.2
8 years ago
MIT
sbt 0.13:
2.10
0.4.1
8 years ago
MIT
sbt 0.13:
2.10
0.4
8 years ago
MIT
sbt 0.13:
2.10
0.3.4
8 years ago
MIT
sbt 0.13:
2.10
0.3.3
8 years ago
MIT
sbt 0.13:
2.10
0.3.2
8 years ago
MIT
sbt 0.13:
2.10
0.3.1
8 years ago
MIT
sbt 0.13:
2.10
0.3
8 years ago
MIT
sbt 0.13:
2.10
0.2
8 years ago
MIT
sbt 0.13:
2.10
0.1.2
8 years ago
MIT
sbt 0.13:
2.10
0.1.1
9 years ago
MIT
sbt 0.13:
2.10
0.1
9 years ago
MIT
sbt 0.13:
2.10