# HG changeset patch
# User wenzelm
# Date 1368807819 -7200
# Node ID 5ffb9bad6517359ba2071f163c9929d66f1f5992
# Parent  892061142ba601ac6478c6f7d3bb247d11b3e933
NEWS;

diff -r 892061142ba6 -r 5ffb9bad6517 NEWS
--- a/NEWS	Fri May 17 18:19:42 2013 +0200
+++ b/NEWS	Fri May 17 18:23:39 2013 +0200
@@ -235,6 +235,9 @@
 * Discontinued obsolete isabelle usedir, mkdir, make -- superseded by
 "isabelle build" in Isabelle2013.  INCOMPATIBILITY.
 
+* Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to
+specify global resources of the JVM process run by isabelle build.
+
 
 
 New in Isabelle2013 (February 2013)