# HG changeset patch
# User wenzelm
# Date 1592730739 -7200
# Node ID 80d7f004089d8b3e2d758edaa49d7b26a02218d9
# Parent  2d658beb815b6a13436ae6a1a586c606a9f670c1
clarified NEWS;

diff -r 2d658beb815b -r 80d7f004089d NEWS
--- a/NEWS	Sat Jun 20 22:35:24 2020 +0200
+++ b/NEWS	Sun Jun 21 11:12:19 2020 +0200
@@ -92,8 +92,11 @@
 *** System ***
 
 * System option "pide_session" is enabled by default, notably for
-standard "isabelle build": this allows to invoke Isabelle/Scala
-operations from Isabelle/ML.
+standard "isabelle build": it allows to invoke Isabelle/Scala operations
+from Isabelle/ML. Big build jobs (e.g. AFP) require extra heap space for
+the java process, e.g. like this in $ISABELLE_HOME_USER/etc/settings:
+
+  ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"
 
 * The command-line tool "isabelle console" now supports interrupts
 properly (on Linux and macOS).