API Doc
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
sbt plugins:
1.x
Project
Artifacts
Versions
Badges
2.12
2.10
Found
1
artifact
sbt-libisabelle
0.6.1
7 years ago
Apache-2.0
sbt 1.x:
2.12