NEWS
changeset 58957 c9e744ea8a38
parent 58956 a816aa3ff391
child 58963 26bf09b95dda
     1.1 --- a/NEWS	Sun Nov 09 14:08:00 2014 +0100
     1.2 +++ b/NEWS	Sun Nov 09 17:04:14 2014 +0100
     1.3 @@ -190,7 +190,7 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 -* Proper context for various elementary tactics: compose_tac,
     1.8 +* Proper context for various elementary tactics: match_tac, compose_tac,
     1.9  Splitter.split_tac etc.  Minor INCOMPATIBILITY.
    1.10  
    1.11  * Tactical PARALLEL_ALLGOALS is the most common way to refer to