--- 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)
----------------------------------