edu.tum.cs.isabelle.setup
Detection of the machine's platform.
Currently, only Linux is supported.
Universal Linux platform for both 32- and 64-bit machines.
Universal Windows platform for both 32- and 64-bit machines.
Make an educated guess at the platform, not guaranteed to be correct.
Detection of the machine's platform.
Currently, only Linux is supported.