tuned;
authorwenzelm
Fri Aug 10 11:02:09 2007 +0200 (2007-08-10)
changeset 2421371c57c5099d6
parent 24212 62ea51f106b9
child 24214 0482ecc4ef11
tuned;
added jEdit mode spec;
NEWS
     1.1 --- a/NEWS	Fri Aug 10 10:54:19 2007 +0200
     1.2 +++ b/NEWS	Fri Aug 10 11:02:09 2007 +0200
     1.3 @@ -1429,10 +1429,12 @@
     1.4  code.
     1.5  
     1.6  * Experimental support for multithreading, using Poly/ML 5.1 (internal
     1.7 -version from CVS). The maximum number of threads is specified via usedir
     1.8 -option -M or the "max-threads" setting in Proof General. User-code needs
     1.9 -to observe certain guidelines for thread-safe programming, see appendix
    1.10 -A in the Isar Implementation manual.
    1.11 +version from CVS). The theory loader exploits parallelism when
    1.12 +processing independent theories, following the header specifications.
    1.13 +The maximum number of worker threads is specified via usedir option -M
    1.14 +or the "max-threads" setting in Proof General.  User-code needs to
    1.15 +observe certain guidelines for thread-safe programming, see appendix A
    1.16 +in the Isar Implementation manual.
    1.17  
    1.18  
    1.19  New in Isabelle2005 (October 2005)
    1.20 @@ -5058,5 +5060,5 @@
    1.21  * 'subtype' facility in HOL for introducing new types as subsets of existing
    1.22  types;
    1.23  
    1.24 -
    1.25 +:mode=text:wrap=hard:maxLineLen=72:
    1.26  $Id$