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
sbt 1.x (Scala 2.12)
Clear all filters
3
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