| changeset 58634 | 9f10d82e8188 |
| parent 58630 | 71cdb885b3bb |
| child 58645 | 94bef115c08f |
--- a/NEWS Wed Oct 08 14:34:30 2014 +0200 +++ b/NEWS Wed Oct 08 17:09:07 2014 +0200 @@ -137,6 +137,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. + *** System ***