--- 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