edu.tum.cs.isabelle.setup
The underlying operating system platform with knowlege of a local storage path.
It is recommended to obtain instances via the companion object.
The underlying operating system platform with knowlege of a local storage path.
It is recommended to obtain instances via the companion object.