[isabelle] Isabelle2018-RC0: missing documentation for ISABELLE_TOOL_JAVA_OPTIONS

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.



PS: Does this option replace ISABELLE_BUILD_JAVA_OPTIONS?

On 06/06/2018 05:08 PM, Makarius wrote:
> Dear Isabelle users,
> the Isabelle2018 release is scheduled for August 2018, approx. 10 weeks
> from now. The first official release candidate can be anticipated in 4
> weeks.
> In order to get started with proper testing, there is now an informal
> snapshot Isabelle2018-RC0 (see
> https://isabelle.in.tum.de/website-Isabelle2018-RC0).
> The ongoing release process is continuously documented at
> see also https://sketis.net/2018/release-candidates-for-isabelle2018
> When discussing observations about release candidates, please provide
> a Subject: line that fits to the content, not just a clone of the
> announcement.
> 	Makarius

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.