edu.tum.cs.isabelle

setup

package setup

Tools for setting up an Isabelle installation. Most functions in this package have some effect on the local file system and may download content from the Internet.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. setup
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. sealed abstract class OfficialPlatform extends Platform

    A Platform with known archive location.

  2. sealed abstract class Platform extends AnyRef

    The underlying operating system platform with knowlege of a local storage path.

  3. final case class Resources(paths: List[Path]) extends Product with Serializable

  4. final case class Setup(home: Path, platform: Platform, version: Version, packageName: String) extends Product with Serializable

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

  5. implicit class TaskOps[T] extends AnyRef

Value Members

  1. object Platform

    Detection of the machine's platform.

  2. object Resources extends Serializable

  3. object Setup extends Serializable

    Detecting and creating setups.

  4. object Tar

    Downloading and unpacking tar archives.

Inherited from AnyRef

Inherited from Any

Ungrouped