diff -r 97c530dc8aca -r 77221ee0f7b9 NEWS
--- a/NEWS	Mon Sep 15 20:51:58 2008 +0200
+++ b/NEWS	Tue Sep 16 09:21:22 2008 +0200
@@ -63,6 +63,11 @@
 
 *** HOL ***
 
+* HOL/Main: command "value" now integrates different evaluation mechanisms.
+The result of the first successful evaluation mechanism is printed.
+In square brackets a particular named evaluation mechanisms may be specified
+(currently, [SML], [code] or [nbe]).  See further HOL/ex/Eval_Examples.thy.
+
 * HOL/Orderings: class "wellorder" moved here, with explicit induction
 rule "less_induct" as assumption.  For instantiation of "wellorder" by
 means of predicate "wf", use rule wf_wellorderI.  INCOMPATIBILITY.