setup

sealed abstract class OfficialPlatform extends Platform

A Platform with known archive location.
A Platform with known archive location.
Official platforms can be installed and bootstrapped automatically via the appropriate methods in Setup.
sealed abstract class Platform extends AnyRef

The underlying operating system platform with knowlege of a local storage path.
The underlying operating system platform with knowlege of a local storage path.
It is recommended to obtain instances via the companion object.
final case class Resources(paths: List[Path]) extends Product with Serializable
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.
A state-less, logic-less representation of a file system location containing an Isabelle installation with a specified version.
It is recommended to obtain instances via the companion object. No guarantees are made when constructing instances manually.
Footnote
The file system location is called home throughout libisabelle.
implicit class TaskOps[T] extends AnyRef

object Platform

Detection of the machine's platform.
Detection of the machine's platform.
Currently, only Linux and Windows are supported.
object Resources extends Serializable
object Setup extends Serializable

Detecting and creating setups.
Detecting and creating setups.
This object assumes that there is a base path in which all Isabelle setups reside. Given a version, the base path can either be searched for an existing setup, or an archive can be downloaded from the Internet and extracted into the path.
object Tar

Downloading and unpacking tar archives.