edu.tum.cs.isabelle.setup
A Platform with known archive location.
Platform
Official platforms can be installed and bootstrapped automatically via the appropriate methods in Setup.
Setup
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
.