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