Path where libisabelle
stores files downloaded from the Internet, e.
Path where libisabelle
stores files downloaded from the Internet, e.g.
by a resolver or by installing Isabelle.
Default base URL pointing to the standard Isabelle server.
Default base URL pointing to the standard Isabelle server.
HTTP location containing an archive of the requested version for this platform.
A
Platform
with known archive location.Official platforms can be installed and bootstrapped automatically via the appropriate methods in
Setup
.