sbt helper for libisabelle (DISCONTINUED)

16 versions found for sbt-libisabelle
sbt 1.0:
2.12
sbt 1.0:
2.12
sbt 0.13:
2.10
sbt 0.13:
2.10
sbt 0.13:
2.10
sbt 0.13:
2.10
0.4
sbt 0.13:
2.10
sbt 0.13:
2.10
sbt 0.13:
2.10
sbt 0.13:
2.10
sbt 0.13:
2.10
0.3
sbt 0.13:
2.10
0.2
sbt 0.13:
2.10
sbt 0.13:
2.10
sbt 0.13:
2.10
0.1
sbt 0.13:
2.10