diff -r 436b7b0c94f6 -r 839f4d1a7467 NEWS
--- a/NEWS	Thu Jan 01 11:08:47 2015 +0100
+++ b/NEWS	Thu Jan 01 11:12:15 2015 +0100
@@ -255,6 +255,13 @@
 * 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.
+
+* JVM system property "isabelle.laf" determines the default Swing
+look-and-feel, via internal class name or symbolic name as in the jEdit
+menu Global Options / Appearance.
+
 * 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