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

--- ai12s/ai12-0400-1.txt	2020/10/16 04:15:57	1.2
+++ ai12s/ai12-0400-1.txt	2020/10/22 23:59:00	1.3
@@ -1,4 +1,4 @@
-!standard A.18.2(8/5)                                    20-10-15  AI12-0400-1/02
+!standard A.18.2(8/5)                                    20-10-21  AI12-0400-1/03
 !standard A.18.2(36/5)
 !standard A.18.2(37/5)
 !standard A.18.2(38/5)
@@ -26,6 +26,8 @@
 !standard A.18.3(96/5)
 !standard A.18.3(97.1/5)
 !class binding interpretation 20-10-15
+!status Amendment 1-2012 20-10-21
+!status ARG Approved 13-0-0  20-10-21
 !status work item 20-10-15
 !status received 20-10-01
 !priority Low
@@ -34,9 +36,9 @@
 !subject Ambiguities associated with Vector Append and container aggregates
 !summary
 
-We propose to change the name of the routine that appends a vector to be
+We change the name of the routine that appends a vector to be
 Append_Vector to eliminate a new ambiguity that occurs in Ada 202x due to the
-overloading of Append now that Ada 202X allow vectors to have aggregates. For
+overloading of Append now that Ada 202x allow vectors to have aggregates. For
 similar reasons, we change the name of a vector Insert and a vector
 Prepend to be Insert_Vector and Prepend_Vector, respectively. Finally
 we propose to drop the new Append_One routine in favor of having
@@ -44,9 +46,9 @@
 having one with a defaulted Count of 1. We suggest a similar fix to
 Doubly_Linked_Lists.
 
-We make this a Binding Interpretation to ease transition to Ada 202X.
+We make this a Binding Interpretation to ease transition to Ada 202x.
 Any parts having to do with the Aggregate aspect only apply to the
-Ada 202X version of the standard, as this aspect is not defined in
+Ada 202x version of the standard, as this aspect is not defined in
 prior versions.
 
 !question
@@ -73,17 +75,17 @@
 Eliminate the overloading of the vector x vector operations for Append,
 Insert, and Prepend, by adding the suffix "_Vector" instead of
 overloading. At the same time, we propose to eliminate the new
-Append_One routine which was created to match the requirement of the
+Append_One routine, which was created to match the requirement of the
 Aggregate aspect for a two-parameter procedure to do appending. We
-eliminate the need for Append_One by changing the current Append which
-has three parameters, that last of which is defaulted, to be two
+eliminate the need for Append_One by changing the current Append, which
+has three parameters, the last of which is defaulted, to be two
 separate overloadings, one taking two parameters and one taking three
 (non-defaulted) parameters. We make a corresponding change to
 Doubly_Linked_Lists.
 
 We recommend making this a Binding Interpretation to ease transition to
-Ada 202X. Any parts having to do with the Aggregate aspect only apply to
-the Ada 202X version of the standard, as this aspect is not defined in
+Ada 202x. Any parts having to do with the Aggregate aspect only apply to
+the Ada 202x version of the standard, as this aspect is not defined in
 prior versions.
 
 !wording
@@ -262,7 +264,7 @@
 Below we suggest that the ACATS test for Ada 2012 shift to using these
 "_Vector" versions, but not try to ensure that the old versions are
 removed, as some implementors may choose to keep them for existing
-customers who do not intend to move to Ada 202X in the near term.
+customers who do not intend to move to Ada 202x in the near term.
 
 Append_One was added as part of AI12-0212-1 to support the Aggregate
 aspect requirement for a two-parameter version of Append element, but as
@@ -276,7 +278,7 @@
 
 No ASIS effect.
 
-!ACATS
+!ACATS test
 
 We should not force Ada 2012 implementations to remove the old Append
 vector x vector, even though this AI effectively deletes it. Therefore,