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).
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
.
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.