edu.tum.cs.isabelle
Wrapper around Isabelle's platform identifiers.
A state-less, logic-less representation of a file system location containing an Isabelle installation with a specified version.
Detection of the machine's platform.
Detecting and creating setups.
Downloading and unpacking tar archives.
tar