API Doc
Awesome Scala
Login
larsrh
/
libisabelle
1.0.1
Apache License 2.0
GitHub
A Scala library which talks to Isabelle (DISCONTINUED)
isabelle
scala
Scala versions:
2.12
2.11
Project
Artifacts
40 Versions
Badges
2.12
2.11
2.10
pide-2016
isabellectl
libisabelle
libisabelle-cli
libisabelle-docs
libisabelle-setup
pide-2014
pide-2015
pide-2016
pide-2016-1
pide-2016-1-RC1
pide-2016-1-RC2
pide-2016-RC0
pide-2017
pide-2018
pide-2018-RC0
pide-2018-RC1
pide-2018-RC2
pide-2018-RC3
pide-2018-RC4
pide-2019-RC0
pide-2019-RC4
pide-dependencies
pide-interface
pide-package
Found
21
versions
0.8.3
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.8.2
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.8.1
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.8.0
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.7.0
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.7.0-RC1
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.6.6
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.6.5
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.6.4
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.6.2
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.6.3
7 years ago
MIT
BSD-3-Clause
JVM:
2.12
2.11
2.10
0.6
7 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.6.1
7 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.5
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.4
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.3.4
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.3.1
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.3.2
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.3.3
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.3
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
0.2.4
8 years ago
MIT
BSD-3-Clause
JVM:
2.11
2.10
