[isabelle-dev] NEWS: 32bit platforms

[Makarius]

*** 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.


	Makarius