Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2018-RC0: missing documentation for IS...

view this post on Zulip Email Gateway (Aug 22 2022 at 17:23):

From: Makarius <makarius@sketis.net>
I have added the following text to the "system" manual in
Isabelle/f090b313fdc8:

\<^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>.

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 17:38):

From: Christian Sternagel <c.sternagel@gmail.com>
Dear all,

I found mention of ISABELLE_TOOL_JAVA_OPTIONS in NEWS but in "isabelle
doc system" it is only mentioned in an example (on page 26) without
further explanation.

cheers

chris

PS: Does this option replace ISABELLE_BUILD_JAVA_OPTIONS?

Last updated: Apr 25 2024 at 16:19 UTC