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 ***