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.
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.
Detection of the machine's platform.
Currently, only Linux and Windows are supported.
Detecting and creating setups.
Downloading and unpacking tar
archives.
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.