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

--- ai12s/ai12-0212-1.txt	2019/03/08 06:57:48	1.26
+++ ai12s/ai12-0212-1.txt	2019/04/03 06:12:12	1.27
@@ -1,4 +1,4 @@
-!standard 4.3.5(0)                                  19-03-05  AI12-0212-1/12
+!standard 4.3.5(0)                                  19-04-02  AI12-0212-1/13
 !standard 1.1.4(12)
 !standard 1.1.4(13)
 !standard 2.1(15)
@@ -525,7 +525,7 @@
 Legality Rules
 
     If the container type of an Aggregate aspect is a private type, the full 
-    type of the container type shall not be an array type. If container type is 
+    type of the container type shall not be an array type. If the container type is 
     limited, the name specified for Empty shall denote a function rather than a 
     constant object.
 
@@ -604,7 +604,7 @@
   uninitialized, because the compiler can simply omit producing an
   Assign_Indexed operation for the given index. For other kinds of
   aggregates, there are no operations that add an element without giving
-  it a value. Note that to be consistent with array aggregates, we do
+  it a value. Note that, to be consistent with array aggregates, we do
   not support specifying <> in an iterated_element_association.
 
 For an iterated_element_association without a /key_/expression, if the
@@ -701,7 +701,7 @@
        the value from the key_choice as the second parameter, and the
        result of evaluating the expression as the third parameter;
      * for a container_element_association with an iterated_element_association,
-       the iterated_element_association is elaborated, then an iteration
+       first the iterated_element_association is elaborated, then an iteration
        is performed as described in 5.5 or 5.5.2, and for each value of the
        loop parameter of the
        iteration the Add_Named procedure is invoked with the anonymous
@@ -770,8 +770,8 @@
 
    function New_Vector (First, Last : Positive) return Vector_Type
      with Pre => First = Positive'First;
-       --  Vectors of are always indexed starting at the
-       --  low bound of their index subtype.
+       --  Vectors are always indexed starting at the
+       --  lower bound of their index subtype.
 
  private
 
@@ -1371,7 +1371,7 @@
 @s8<@i<Legality Rules>>
 
 If the container type of an Aggregate aspect is a private type, the full 
-type of the container type shall not be an array type. If container type is 
+type of the container type shall not be an array type. If the container type is 
 limited, the name specified for Empty shall denote a function rather than a 
 constant object.