[isabelle-dev] NEWS: ISABELLE_TOOL_JAVA_OPTIONS
makarius at sketis.net
Mon Apr 4 00:49:01 CEST 2016
*** 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.
More information about the isabelle-dev