NEWS

--- a/NEWS	Sun Nov 09 14:08:00 2014 +0100
+++ b/NEWS	Sun Nov 09 17:04:14 2014 +0100
@@ -190,7 +190,7 @@
 
 *** ML ***
 
-* Proper context for various elementary tactics: compose_tac,
+* Proper context for various elementary tactics: match_tac, compose_tac,
 Splitter.split_tac etc.  Minor INCOMPATIBILITY.
 
 * Tactical PARALLEL_ALLGOALS is the most common way to refer to