larsrh / libisabelle   1.0.1

Contributors Wanted Apache License 2.0 GitHub

A Scala library which talks to Isabelle (DISCONTINUED)

Scala versions: 2.12 2.11

pide-2017

Found 10 versions
1.1.0-RC3
5 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.1.0-RC2
5 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.1.0-RC1
5 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.0.1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.0.0
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.0.0-RC3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.0.0-RC2
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
1.0.0-RC1
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
0.9.3
6 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11
0.9.2
7 years ago
Apache-2.0 BSD-3-Clause
JVM:
2.12 2.11