[isabelle-dev] NEWS: ISABELLE_TOOL_JAVA_OPTIONS

[Makarius]

*** System ***

* Many Isabelle tools that require a Java runtime system refer to the
settings ISABELLE_TOOL_JAVA_OPTIONS32 / ISABELLE_TOOL_JAVA_OPTIONS64,
depending on the underlying platform. The settings for "isabelle build"
ISABELLE_BUILD_JAVA_OPTIONS32 / ISABELLE_BUILD_JAVA_OPTIONS64 have been
discontinued. Potential INCOMPATIBILITY.


This refers to Isabelle/d9744f41a4ec.

The practical relevance for users to change ISABELLE_TOOL_JAVA_OPTIONS 
should be relatively low, because the split into 32 vs. 64 bit options 
already provides defaults that should work in most situations.


 	Makarius