Convenience method aliasing edu.tum.cs.isabelle.Implementations#makeEnvironment with the appropriate parameters.
Convenience method aliasing edu.tum.cs.isabelle.Implementations#makeEnvironment with the appropriate parameters. It calls Setup.fetchImplementation to download the required classpath.
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
.