Default base URL pointing to the standard Isabelle server.
Default base URL pointing to the standard Isabelle server.
Internet location containing an archive of the requested version for this platform, if available.
Internet location containing an archive of the requested version for this platform, if available.
Universal OS X platform for both 32- and 64-bit machines.