NEWS
changeset 32079 5dc52b199815
parent 32066 091f1e304120
parent 32061 11f8ee55662d
child 32092 6a5995438266
child 32130 2a0645733185
child 32134 ee143615019c
     1.1 --- a/NEWS	Mon Jul 20 09:52:09 2009 +0200
     1.2 +++ b/NEWS	Mon Jul 20 13:52:27 2009 +0200
     1.3 @@ -128,6 +128,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)