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

--- ai12s/ai12-0313-1.txt	2019/05/07 06:28:55	1.5
+++ ai12s/ai12-0313-1.txt	2020/11/03 07:17:55	1.6
@@ -1,4 +1,4 @@
-!standard 0.3(6/3)                                     19-05-06  AI12-0313-1/04
+!standard 0.3(6/3)                                     20-11-02  AI12-0313-1/05
 !standard 0.3(10)
 !standard 0.3(41/2)
 !standard 0.3(57.1/3)
@@ -126,9 +126,9 @@
     user-specifiable attribute Put_Image is provided, which determines
     the value of the Image attribute for a user-defined type.
 
-  - The use of numeric and string literals is generalized to support
-    other sorts of types, via the new Integer_Literal, Real_Literal, and
-    String_Literal aspects.
+  - The use of numeric and string literals is generalized to allow their use
+    with other sorts of types, via the new aspects Integer_Literal, 
+    Real_Literal, and String_Literal.
 
   - Array and record aggregates are made more flexible: index parameters
     are allowed in an array aggregate to define the components as a
@@ -144,7 +144,7 @@
     target of an assignment statement in the expression defining its new
     value.
 
-  - "Declare" expressions are provided which permit the definition and
+  - "Declare" expressions are provided that permit the definition and
     use of local constants or renamings, to allow an expression used
     within an aspect specification to be more concise and readable.
 
@@ -380,9 +380,9 @@
 overloading, as well as pragmas for making assertions and giving better 
 control over the suppression of checks. See subclauses 6.1, 11.4.2, and 11.5.>
 @dby
-@xbullet<The use of numeric and string literals is generalized to support
-other sorts of types, via the new Integer_Literal, Real_Literal, and
-String_Literal aspects.>
+@xbullet<The use of numeric and string literals is generalized to allow their
+use with other sorts of types, via the new aspects Integer_Literal, 
+Real_Literal, and String_Literal.>
 
 @xbullet<Array and record aggregates are made more flexible: index parameters
 are allowed in an array aggregate to define the components as a
@@ -397,7 +397,7 @@
 @xbullet<A shorthand is provided, using the token '@', to refer to the
 target of an assignment statement in the expression defining its new value.>
 
-@xbullet<Declare expressions are provided which permit the definition and
+@xbullet<Declare expressions are provided that permit the definition and
 use of local constants or renamings, to allow an expression used
 within an aspect specification to be more concise and readable.>
 
@@ -518,6 +518,18 @@
 No ACATS tests needed.
 
 !appendix
+
+[From Gary Dismukes' RM review (October 2020). These both have been treated as 
+Editorial Review changes to this AI - Editor.]
+
+57.11/5  The use of numeric and string literals is generalized to [support] 
+{allow their use with} other sorts of types, via the new {aspects} 
+Integer_Literal, Real_Literal, and String_Literal[ aspects].
+
+
+57.15/5  Declare expressions are provided [which] {that} permit the definition 
+and use of local constants or renamings, to allow an expression used within an 
+aspect specification to be more concise and readable.
 
 ****************************************************************