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

--- ai12s/ai12-0388-1.txt	2020/08/28 03:26:13	1.2
+++ ai12s/ai12-0388-1.txt	2020/09/09 20:01:51	1.3
@@ -1,10 +1,11 @@
-!standard 4.3.5(0)                                       20-08-27  AI12-0388-1/02
+!standard 4.3.5(0)                                       20-09-09  AI12-0388-1/03
 !standard 6.1.1(26.10/4) 
 !standard 6.1.1(29/4)
 !standard 7.3.4(0)
 !standard D.4(16)
 !class presentation 20-08-21
 !status Amendment 1-2012 20-08-21
+!status ARG Approved 14-0-0  20-09-09
 !status work item 20-08-21
 !status received 20-07-31
 !priority Low
@@ -13,10 +14,6 @@
 !subject Still More Presentation issues
 !summary
 
-[Editor's note: This AI's changes have been included in draft 26 of the
-RM even though it is not yet approved, as it is expected that these changes
-will not be controversal.]
-
 (1) Add (see 13.1.1) after "nonoverridable" in 4.3.5(12/5) and D.4(20/5).
 
 (2) Use "are" in 6.1.1(26.10/5).
@@ -86,7 +83,7 @@
           of the function or access-to-function type result except within a 
           Post'Class postcondition expression for a function with a 
           controlling result or with a controlling access result; in those 
-          cases the type of the attribute was described [previously]{above as
+          cases the type of the attribute {is}[was] described [previously]{above as
           part of the Name Resolution Rules for Post'Class}.
 
 (4) Modify 7.3.4(3/5):
@@ -137,7 +134,7 @@
    The type of this attribute is that of the result subtype of the
    function or access-to-function type except within a Post'Class
    postcondition expression for a function with a controlling result or with a
-   controlling access result; in those cases the type of the attribute was
+   controlling access result; in those cases the type of the attribute is
    described above as part of the Name Resolution Rules for Post'Class.>