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
Prepares a fresh edu.tum.cs.isabelle.api.Environment.
Uses Setup.fetchImplementation to download the required classpath. It also checks for matching BuildInfo.
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
.