NEWS

--- a/NEWS	Tue Feb 10 14:29:36 2015 +0100
+++ b/NEWS	Tue Feb 10 14:48:26 2015 +0100
@@ -248,8 +248,8 @@
 Input.source (with formal position information).
 
 * Proper context for various elementary tactics: assume_tac,
-match_tac, compose_tac, Splitter.split_tac etc.  Minor
-INCOMPATIBILITY.
+resolve_tac, eresolve_tac, dresolve_tac, forward_tac, match_tac,
+compose_tac, Splitter.split_tac etc. INCOMPATIBILITY.
 
 * Tactical PARALLEL_ALLGOALS is the most common way to refer to
 PARALLEL_GOALS.