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

Differences between 1.18 and version 1.19
Log of other versions for file ai12s/ai12-0212-1.txt

--- ai12s/ai12-0212-1.txt	2018/11/20 07:09:16	1.18
+++ ai12s/ai12-0212-1.txt	2018/12/05 01:52:14	1.19
@@ -433,7 +433,7 @@
 
     A /procedure_/name shall be specified for at least one of Add_Named,
     Add_Unnamed, or Assign_Indexed.  If Add_Named is specified, neither
-    Add_Unnamed nor Assign_Indexed shall be specified.  Either both or
+    Add_Unnamed nor Assign_Indexed shall be specified. Either both or
     neither of New_Indexed and Assign_Indexed shall be specified. If the
     associated type T is a private type, the full type shall not be an
     array type.  If type T is limited, the name specified for Empty
@@ -536,7 +536,7 @@
 in its Aggregate aspect, and either there is no Add_Unnamed procedure
 specified for the type, or the aggregate is a named_container_aggregate
 with a container_element_association that contains a key_choice_list
-or a loop_parameter_specification.  The key type of an indexed aggregate
+or a loop_parameter_specification. The key type of an indexed aggregate
 is also called the /index type/ of the aggregate.
 
 A container_element_association with a <> rather than an expression,
@@ -959,7 +959,7 @@
 
 !discussion
 
-See !proposal for most of the discussion.  Here we discuss some rejected
+See !proposal for most of the discussion. Here we discuss some rejected
 alternatives or additions.
 
 We originally used "Add_Positional" instead of "Add_Unnamed" in the
@@ -978,7 +978,7 @@
 extend the vector and assign the new last element.
 
 We include above a generalization of array aggregates to allow container
-iterators.  Originally we were concerned about making this
+iterators. Originally we were concerned about making this
 generalization, because to determine the size of the array to create,
 you will need to execute the iterator until it ends. We initially
 presumed you would have to save all of the values somewhere, create the
@@ -1009,7 +1009,7 @@
 specifying attributes, so it is not an unprecedented combination.
 Our second choice is probably comma, because it is quite light, and
 works adequately with or without a "when" clause, but it was pointed out
-that we allow multiple iterated_element_association's, which are
+that we allow multiple iterated_element_associations, which are
 themselves separated by commas.
 
 !ASIS
@@ -1313,7 +1313,7 @@
 Sent: Wednesday, June 14, 2017  3:45 AM
 
 Here it is.  Actually, this is for “Sparkel,” the SPARK-like variant of
-araSail.
+ParaSail.
 
 [Sorry, there is no way to attach that here. - Editor.]
 
@@ -3837,6 +3837,13 @@
 >
 >Replace "{|" with "{'|'" in 3.7.1(3), 3.8.1(4), 4.3.1(5), 4.4(3.1/3), 
 >and 11.2(3).
+
+****************************************************************
+
+From: Tucker Taft
+Sent: Tuesday, November 21, 2018  9:06 AM
+
+All makes sense to me...
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent