[isabelle-dev] NEWS: 32bit platforms
makarius at sketis.net
Mon Oct 23 21:11:16 CEST 2017
*** System ***
* Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
support has been discontinued.
* Java runtime is for x86_64 only. Corresponding Isabelle settings have
been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,
instead of former 32/64 variants. INCOMPATIBILITY.
This refers to Isabelle/9eaa9504991b. It is the official end of
platforms with 32bit architecture. Linux, Windows, Mac OS X (whatever
its name) all need to be 64bit systems now.
Of course, some special tools may still use x86 internally. Poly/ML is
the main example for that.
More information about the isabelle-dev