NEWS

--- a/NEWS	Sun Jul 19 19:20:17 2009 +0200
+++ b/NEWS	Sun Jul 19 19:24:04 2009 +0200
@@ -120,6 +120,9 @@
 * Removed "compress" option from isabelle-process and isabelle usedir;
 this is always enabled.
 
+* More fine-grained control of proof parallelism, cf.
+Goal.parallel_proofs in ML and usedir option -q LEVEL.
+
 
 
 New in Isabelle2009 (April 2009)