A Platform
with known archive location.
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.
Function preparing a classpath containing an appropriate environment.
Function preparing a classpath containing an appropriate environment.
Instances are available in the companion object.
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).
In case you manage Isabelle source files yourself, this class is unneeded and you may want to construct configurations yourself.
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
.
Detection of the machine's platform.
resolver instances.
Utilities to extract resources from the classpath.
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.
Downloading and unpacking tar
archives.
Downloading and unpacking tar
archives. All operations are blocking.
Tools for setting up an Isabelle installation and managing Isabelle sources and environments at runtime. Most functions in this package have some effect on the local file system and may download content from the Internet.