NEWS
changeset 32061 11f8ee55662d
parent 31997 de0d280c31a7
child 32079 5dc52b199815
     1.1 --- a/NEWS	Sun Jul 19 19:20:17 2009 +0200
     1.2 +++ b/NEWS	Sun Jul 19 19:24:04 2009 +0200
     1.3 @@ -120,6 +120,9 @@
     1.4  * Removed "compress" option from isabelle-process and isabelle usedir;
     1.5  this is always enabled.
     1.6  
     1.7 +* More fine-grained control of proof parallelism, cf.
     1.8 +Goal.parallel_proofs in ML and usedir option -q LEVEL.
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2009 (April 2009)