[isabelle-dev] NEWS: ISABELLE_TOOL_JAVA_OPTIONS

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


 	Makarius


More information about the isabelle-dev mailing list