* Experimental support for multithreading, using Poly/ML 5.1;
authorwenzelm
Fri Aug 10 00:20:39 2007 +0200 (2007-08-10)
changeset 24210a865059c4fcb
parent 24209 8a2c8d623e43
child 24211 213215a8640a
* Experimental support for multithreading, using Poly/ML 5.1;
NEWS
     1.1 --- a/NEWS	Thu Aug 09 23:53:51 2007 +0200
     1.2 +++ b/NEWS	Fri Aug 10 00:20:39 2007 +0200
     1.3 @@ -1428,6 +1428,12 @@
     1.4  operations, notably runtime compilation and evaluation of ML source
     1.5  code.
     1.6  
     1.7 +* Experimental support for multithreading, using Poly/ML 5.1 (internal
     1.8 +version from CVS). The maximum number of threads is specified via usedir
     1.9 +option -M or the "max-threads" setting in Proof General. User-code needs
    1.10 +to observe certain guidelines for thread-safe programming, see appendix
    1.11 +A in the Isar Implementation manual.
    1.12 +
    1.13  
    1.14  New in Isabelle2005 (October 2005)
    1.15  ----------------------------------