Universal Linux platform for both 32- and 64-bit machines.
Universal OS X platform for both 32- and 64-bit machines.
Windows platform for both 32- and 64-bit machines.
Arbitrary platform based on a local storage path.
Arbitrary platform based on a local storage path.
The main purpose is when using a custom (unmanaged) Isabelle installation.
Make an educated guess at the platform, not guaranteed to be correct.
Detection of the machine's platform.