edu.tum.cs.isabelle.setup
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.
libisabelle
Convenience method aliasing edu.tum.cs.isabelle.Implementations#makeEnvironment with the appropriate parameters.
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
.