Prepares a fresh info.hupel.isabelle.api.Environment.
Prepares a fresh info.hupel.isabelle.api.Environment.
If the resolver found an appropriate classpath, this method also checks for matching build info.
Prepares a fresh info.hupel.isabelle.api.Environment using the default resolver.
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
.