# HG changeset patch
# User wenzelm
# Date 1529577592 -7200
# Node ID f090b313fdc891ed592a7a99c8dea4f91abb4e25
# Parent  1be1b7620a42fe81187748b28da7e81487dd3cb8
more documentation;

diff -r 1be1b7620a42 -r f090b313fdc8 src/Doc/System/Environment.thy
--- a/src/Doc/System/Environment.thy	Thu Jun 21 12:22:17 2018 +0200
+++ b/src/Doc/System/Environment.thy	Thu Jun 21 12:39:52 2018 +0200
@@ -205,6 +205,11 @@
   \<^descr>[@{setting_def ISABELLE_TMP_PREFIX}\<open>\<^sup>*\<close>] is the prefix from which any
   running Isabelle ML process derives an individual directory for temporary
   files.
+
+  \<^descr>[@{setting_def ISABELLE_TOOL_JAVA_OPTIONS}] is passed to the \<^verbatim>\<open>java\<close>
+  executable when running Isabelle tools (e.g. @{tool build}). This is
+  occasionally helpful to provide more heap space, via additional options like
+  \<^verbatim>\<open>-Xms1g -Xmx4g\<close>.
 \<close>