setup

trait Devel extends AnyRef
case class GitDevel(url: String, branch: String) extends Devel with Product with Serializable
trait Resolver extends AnyRef

Function preparing a classpath containing an appropriate environment.
Function preparing a classpath containing an appropriate environment.
Instances are available in the companion object.
final case class Resources extends Product with Serializable

A file system location containing Isabelle sources.
A file system location containing Isabelle sources.
In almost all cases, instances of this object should be produced using Resources.dumpIsabelleResources (see its documentation for details).
final case class Setup(home: Path, platform: Platform, 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.
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 Artifacts
object Devel
object Resolver

resolver instances.
object Resources extends Serializable

Utilities to extract resources from the classpath.
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.
Downloading and unpacking tar archives. All operations are blocking.