# HG changeset patch
# User wenzelm
# Date 1230063880 -3600
# Node ID bad036eb71c4a364415c5ee159919c173cc5a394
# Parent  9903e84a9c9c2bbcbd8c75568998a0c7be507f1a
tuned;

diff -r 9903e84a9c9c -r bad036eb71c4 NEWS
--- a/NEWS	Tue Dec 23 21:18:26 2008 +0100
+++ b/NEWS	Tue Dec 23 21:24:40 2008 +0100
@@ -45,7 +45,7 @@
 * Proofs of fully specified statements are run in parallel on
 multi-core systems.  A speedup factor of 2-3 can be expected on a
 regular 4-core machine, if the initial heap space is made reasonably
-large (cf. Poly/ML option -H).
+large (cf. Poly/ML option -H).  [Poly/ML 5.2.1 or later]
 
 * The Isabelle System Manual (system) has been updated, with formally
 checked references as hyperlinks.
@@ -401,7 +401,8 @@
 particularly convenient to organize independent functional
 computations.  The concept of "synchronized variables" provides a
 higher-order interface for components with shared state, avoiding the
-delicate details of internal mutexes and condition variables.
+delicate details of mutexes and condition variables.  [Poly/ML 5.2.1
+or later]
 
 * Simplified ML oracle interface Thm.add_oracle promotes 'a -> cterm
 to 'a -> thm, while results are always tagged with an authentic oracle