Packages

  • package root
    Definition Classes
    root
  • package de
    Definition Classes
    root
  • package unruh
    Definition Classes
    de
  • package isabelle

    This library allows to control an Isabelle process from a Scala application.

    This library allows to control an Isabelle process from a Scala application. For first steps and pointers, see the README.

    Definition Classes
    unruh
  • 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.

    Definition Classes
    isabelle
  • 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.)

    Definition Classes
    isabelle
  • JIsabelle
  • package misc
    Definition Classes
    isabelle
  • 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.

    Definition Classes
    isabelle
  • package pure

    This package contains classes for operating on Isabelle theories (Theory), contexts (Context), typs (Typ), term (Term), theorems (Thm).

    This package contains classes for operating on Isabelle theories (Theory), contexts (Context), typs (Typ), term (Term), theorems (Thm). (Only things that are independent of a specific object logic, i.e., only things in Isabelle/Pure.)

    Definition Classes
    isabelle

package java

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.)

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. java
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. object JIsabelle

    This object contains utility methods for invoking scala-isabelle methods from Java in cases where the original method is difficult to invoke from Java.

Inherited from AnyRef

Inherited from Any

Ungrouped