NEWS

--- a/NEWS	Sun Nov 09 20:49:28 2014 +0100
+++ b/NEWS	Mon Nov 10 21:49:48 2014 +0100
@@ -190,8 +190,9 @@
 
 *** ML ***
 
-* Proper context for various elementary tactics: match_tac, compose_tac,
-Splitter.split_tac etc.  Minor INCOMPATIBILITY.
+* Proper context for various elementary tactics: assume_tac,
+match_tac, compose_tac, Splitter.split_tac etc.  Minor
+INCOMPATIBILITY.
 
 * Tactical PARALLEL_ALLGOALS is the most common way to refer to
 PARALLEL_GOALS.