NEWS

--- a/NEWS	Sun Aug 31 09:10:40 2014 +0200
+++ b/NEWS	Sun Aug 31 09:10:41 2014 +0200
@@ -17,6 +17,10 @@
 
 *** HOL ***
 
+* Command and antiquotation "value" provide different evaluation slots (again),
+where the previous strategy (nbe after ML) serves as default.
+Minor INCOMPATIBILITY.
+
 * New (co)datatype package:
   - Renamed theorems:
       disc_corec ~> corec_disc