edu.tum.cs.isabelle.setup
Wrapper around Isabelle's platform identifiers.
It is recommended to obtain instances via the companion object. No guarantees are made when constructing instances manually.
Default base URL pointing to the standard Isabelle server.
Internet location containing an archive of the requested version for this platform, if available.
Wrapper around Isabelle's platform identifiers.
It is recommended to obtain instances via the companion object. No guarantees are made when constructing instances manually.