NEWS;
authorwenzelm
Fri, 17 May 2013 18:23:39 +0200
changeset 52053 5ffb9bad6517
parent 52052 892061142ba6
child 52054 eaf17514aabd
NEWS;
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)