api

Type Members

1. abstract class Environment extends AnyRef

   Abstract interface for an Isabelle environment of a particular version in a path with an underlying PIDE machinery.

2. class Implementation extends Annotation with Annotation with ClassfileAnnotation

3. type Markup = (String, Properties)

4. type Properties = List[(String, String)]

5. trait ProverResult[+T] extends AnyRef

   Result from the prover.

6. case class Version(identifier: String) extends Product with Serializable

   Represents the version of an Isabelle release.