A Platform
with known archive location.
The underlying operating system platform with knowlege of a local storage path.
A state-less, logic-less representation of a file system location containing an Isabelle installation with a specified version.
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.