# HG changeset patch
# User wenzelm
# Date 1188569873 -7200
# Node ID 0a57b1b472b237591ab58e5bb085533032c02c4b
# Parent  7840f760a7446306738102179eed9d3138f9b054
tuned multithreading entry -- no longer experimental;

diff -r 7840f760a744 -r 0a57b1b472b2 NEWS
--- a/NEWS	Fri Aug 31 15:56:19 2007 +0200
+++ b/NEWS	Fri Aug 31 16:17:53 2007 +0200
@@ -1466,11 +1466,12 @@
 operations, notably runtime compilation and evaluation of ML source
 code.
 
-* Experimental support for multithreading, using Poly/ML 5.1 (internal
-version from CVS). The theory loader exploits parallelism when
-processing independent theories, following the header specifications.
-The maximum number of worker threads is specified via usedir option -M
-or the "max-threads" setting in Proof General.  User-code needs to
+* Support for multithreading, using Poly/ML 5.1 (internal version from
+CVS). The theory loader exploits parallelism when processing independent
+theories, following the header specifications. The maximum number of
+worker threads is specified via usedir option -M or the "max-threads"
+setting in Proof General. A speedup factor of 1.5--3.5 can be expected
+on a 4-core machine, and up to 6 on a 8-core machine. User-code needs to
 observe certain guidelines for thread-safe programming, see appendix A
 in the Isar Implementation manual.