CVS difference for ai12s/ai12-0313-1.txt

--- ai12s/ai12-0313-1.txt	2019/03/10 01:04:26	1.3
+++ ai12s/ai12-0313-1.txt	2019/04/12 06:09:25	1.4
@@ -1,5 +1,7 @@
-!standard 0.3(57.21/3)                                  19-03-09  AI12-0313-1/02
+!standard 0.3(57.21/3)                                  19-04-09  AI12-0313-1/03
 !class presentation 19-02-07
+!status Amendment 1-2012 19-04-09
+!status ARG Approved 11-0-0  19-04-09
 !status work item 19-02-07
 !status received 19-02-07
 !priority Low
@@ -37,7 +39,7 @@
   toward supporting important application areas, while at the same time
   retaining the original emphasis on reliability, maintainability, and
   efficiency. [This third edition provides] {Subsequent editions, including
-  this 2020 edition, have provided} further flexibility and add[s]{ed}
+  this fourth edition, have provided} further flexibility and add[s]{ed}
   more standardized packages within the framework provided by the 1995
   revision.
 
@@ -84,7 +86,7 @@
     aspects, in particular, help to determine whether two constructs can
     safely execute in parallel.
 
-  - Pre and Post aspects may now be specified for access to subprogram
+  - Pre and Post aspects may now be specified for access-to-subprogram
     types and for generic formal subprograms; a postcondition for a type's
     default initialization may be specified using the new
     Default_Initial_Condition aspect.
@@ -98,7 +100,7 @@
     introduction of static expression functions along with fewer
     restrictions on static strings.
 
-  - The Image attribute is supported for non-scalar types, and a
+  - The Image attribute is supported for nonscalar types, and a
     user-specifiable attribute Put_Image is provided, which determines
     the value of the Image attribute for a user-defined type.
 
@@ -116,7 +118,7 @@
     object; container aggregates to allow construction of an object
     of a container type by directly specifying its elements.
     
-  - A short-hand is provided, using the token '@', to refer to the
+  - A shorthand is provided, using the token '@', to refer to the
     target of an assignment statement in the expression defining its new
     value.
 
@@ -129,6 +131,10 @@
 
   - Support for the map-reduce programming strategy is added via the
     introduction of reduction expressions.
+
+  - For constructs that use iterators of any sort, a filter may be specified
+    that restricts the elements produced by the iteration to those that
+    satisfy the condition of the filter.
 
   - Predefined packages supporting arbitrary-precision integer and real
     arithmetic are provided.