A Scala library which talks to Isabelle (DISCONTINUED)

16 versions found for pide-interface
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12
JVM:
2.10 2.11 2.12