NEWS

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