# HG changeset patch
# User wenzelm
# Date 1419932290 -3600
# Node ID ff6954c847e286e53c59272e87051200f32d8ef1
# Parent  cb8e5f7a5e4a58f24bd250d9a1984b48b9e3ca8e
NEWS;

diff -r cb8e5f7a5e4a -r ff6954c847e2 NEWS
--- a/NEWS	Mon Dec 29 21:02:49 2014 +0100
+++ b/NEWS	Tue Dec 30 10:38:10 2014 +0100
@@ -251,6 +251,9 @@
 * Support for Proof General and Isar TTY loop has been discontinued.
 Minor INCOMPATIBILITY.
 
+* JVM system property "isabelle.threads" determines size of Scala thread
+pool, like Isabelle system option "threads" for ML.
+
 * System option "pretty_margin" is superseded by "thy_output_margin",
 which is also accessible via document antiquotation option "margin".
 Only the margin for document output may be changed, but not the global