# HG changeset patch
# User wenzelm
# Date 1186736529 -7200
# Node ID 71c57c5099d6e967665811b0db13edf76dbe1353
# Parent  62ea51f106b9e8b7f22593c6e981ff0d99d9db04
tuned;
added jEdit mode spec;

diff -r 62ea51f106b9 -r 71c57c5099d6 NEWS
--- a/NEWS	Fri Aug 10 10:54:19 2007 +0200
+++ b/NEWS	Fri Aug 10 11:02:09 2007 +0200
@@ -1429,10 +1429,12 @@
 code.
 
 * Experimental support for multithreading, using Poly/ML 5.1 (internal
-version from CVS). The maximum number of threads is specified via usedir
-option -M or the "max-threads" setting in Proof General. User-code needs
-to observe certain guidelines for thread-safe programming, see appendix
-A in the Isar Implementation manual.
+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
+observe certain guidelines for thread-safe programming, see appendix A
+in the Isar Implementation manual.
 
 
 New in Isabelle2005 (October 2005)
@@ -5058,5 +5060,5 @@
 * 'subtype' facility in HOL for introducing new types as subsets of existing
 types;
 
-
+:mode=text:wrap=hard:maxLineLen=72:
 $Id$