# HG changeset patch
# User wenzelm
# Date 1186698039 -7200
# Node ID a865059c4fcbbc24e425485ca2012eb30a88ab98
# Parent  8a2c8d623e43b4eb22550b26e6087c99352c96ec
* Experimental support for multithreading, using Poly/ML 5.1;

diff -r 8a2c8d623e43 -r a865059c4fcb NEWS
--- a/NEWS	Thu Aug 09 23:53:51 2007 +0200
+++ b/NEWS	Fri Aug 10 00:20:39 2007 +0200
@@ -1428,6 +1428,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 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.
+
 
 New in Isabelle2005 (October 2005)
 ----------------------------------