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