edu.tum.cs.isabelle

setup

package setup

Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class Platform extends AnyRef

    Wrapper around Isabelle's platform identifiers.

  2. case class Setup(home: Path, version: Version) extends Product with Serializable

    A state-less, logic-less representation of a file system location containing an Isabelle installation with a specified version.

Value Members

  1. object Platform

    Detection of the machine's platform.

  2. object Setup extends Serializable

    Detecting and creating setups.

  3. object Tar

    Downloading and unpacking tar archives.

Ungrouped