package isabelle
This library allows to control an Isabelle process from a Scala application. For first steps and pointers, see the README.
In case of missing/incorrect documentation, create an issue.
- Source
- package.scala
Package Members
- package control
This package contains classes for instantiating and controlling an Isabelle process.
This package contains classes for instantiating and controlling an Isabelle process. The main class is Isabelle, see there for documentation. Controlling the process via the classes in this package is quite low-level. See mlvalue.MLValue for a higher level mechanism.
- package java
This package provides methods for making access to scala-isabelle possible from Java (or other non-Scala JVM languages).
This package provides methods for making access to scala-isabelle possible from Java (or other non-Scala JVM languages).
It does not provide any new functionality but only various wrapper methods for cases where some of the methods in this library are hard to access from Java. (E.g., when a method expects Scala collections as input.)
For Scala methods that need but lack a wrapper, please file an issue.
- package misc
- package mlvalue
This package contains classes for type safe manipulation of values stored in a running Isabelle process (managed by an instance of control.Isabelle).
This package contains classes for type safe manipulation of values stored in a running Isabelle process (managed by an instance of control.Isabelle). See MLValue for an introduction.
- package pure
This package contains classes for operating on Isabelle theories (Theory), contexts (Context), typs (Typ), term (Term), theorems (Thm).