clarified NEWS;
authorwenzelm
Sun, 21 Jun 2020 11:12:19 +0200
changeset 72206 80d7f004089d
parent 72204 2d658beb815b
child 72207 c5003c5c72c8
clarified NEWS;
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).