Awesome Scala
Login
larsrh
/
sbt-libisabelle
0.6.1
Apache License 2.0
Website
GitHub
sbt helper for libisabelle (DISCONTINUED)
libisabelle
sbt-plugin
scala
Scala versions:
2.12
2.10
sbt plugins:
1.0
0.13
Project
17 Versions
Badges
sbt-libisabelle
2.12
2.10
Show pre-release versions
16
versions found for
sbt-libisabelle
0.6.1
6 years ago
Apache-2.0
sbt 1.x:
2.12
0.6.0
6 years ago
MIT
sbt 1.x:
2.12
0.5.1
6 years ago
MIT
sbt 1.x:
2.12
sbt 0.13:
2.10
0.5.0
7 years ago
MIT
sbt 0.13:
2.10
0.4.2
7 years ago
MIT
sbt 0.13:
2.10
0.4.1
7 years ago
MIT
sbt 0.13:
2.10
0.4
7 years ago
MIT
sbt 0.13:
2.10
0.3.4
7 years ago
MIT
sbt 0.13:
2.10
0.3.3
7 years ago
MIT
sbt 0.13:
2.10
0.3.2
7 years ago
MIT
sbt 0.13:
2.10
0.3.1
7 years ago
MIT
sbt 0.13:
2.10
0.3
7 years ago
MIT
sbt 0.13:
2.10
0.2
7 years ago
MIT
sbt 0.13:
2.10
0.1.2
7 years ago
MIT
sbt 0.13:
2.10
0.1.1
7 years ago
MIT
sbt 0.13:
2.10
0.1
8 years ago
MIT
sbt 0.13:
2.10