NEWS
changeset 59057 5b649fb2f2e1
parent 59039 32145985352a
child 59058 a78612c67ec0
--- a/NEWS	Wed Nov 26 15:44:32 2014 +0100
+++ b/NEWS	Wed Nov 26 16:55:43 2014 +0100
@@ -220,8 +220,9 @@
 * Tactical PARALLEL_ALLGOALS is the most common way to refer to
 PARALLEL_GOALS.
 
-* Basic combinators map, fold, fold_map, split_list are available as
-parameterized antiquotations, e.g. @{map 4} for lists of quadruples.
+* Basic combinators map, fold, fold_map, split_list, apply are
+available as parameterized antiquotations, e.g. @{map 4} for lists of
+quadruples.
 
 
 *** System ***