CVS difference for ai05s/ai05-0208-1.txt

--- ai05s/ai05-0208-1.txt	2010/02/25 00:59:37	1.2
+++ ai05s/ai05-0208-1.txt	2010/04/03 01:20:08	1.3
@@ -1,6 +1,8 @@
-!standard  3.10.1(2.4/2)                             10-02-24    AI05-0208-1/02
+!standard  3.10.1(2.4/2)                             10-04-02    AI05-0208-1/03
 !standard  3.10.1(2.6/2)
 !class binding interpretation 10-02-22
+!status Amendment 2012 10-04-02
+!status ARG Approved  8-0-2  10-02-26
 !status work item 10-02-22
 !status received 10-02-16
 !priority Medium
@@ -61,16 +63,14 @@
 Modify 3.10.1(2.4/2):
 
 * it occurs within the scope of a nonlimited_with_clause that mentions a library
-  package in whose visible part the completion of T is declared[.]{;}
+  package in whose visible part the completion of T is declared[.]{, or}
 
-{* it occurs within the scope of T after the completion of T if T is an
-   incomplete view declared by an incomplete_type_declaration, and the
-   completion of T is declared immediately within the same declarative list as
-   T.}
+{* it occurs within the scope of T after the completion of T and T is an
+   incomplete view declared by an incomplete_type_declaration.}
 
-AARM Discussion: [Or should it be a To Be Honest?? - Editor]
+AARM Discussion:
 Whether the designated type is an incomplete view (and thus whether this set
-of rules apply) is determined by the view of the type at the declaration of the
+of rules applies) is determined by the view of the type at the declaration of the
 access type; it does not change during the life of the type.
 
 Modify 3.10.1(2.6/2):
@@ -97,23 +97,21 @@
 
 However, no incompatibility with Ada 83/95 was intended. While it is not
 completely clear from either of those language standards that the example
-ought to work, it appears to on all existing compilers. As such, we don't
+ought to work, it appears to work on all existing compilers. As such, we don't
 want it to stop working, and thus add wording to ensure that is the case.
 
 
 !corrigendum 3.10.1(2.4/2)
 
 @drepl
-@xbullet<it occurs within the scope of a nonlimited_with_clause that mentions
+@xbullet<it occurs within the scope of a @fa<nonlimited_with_clause> that mentions
 a library package in whose visible part the completion of @i<T> is declared.>
 @dby
-@xbullet<it occurs within the scope of a nonlimited_with_clause that mentions
-a library package in whose visible part the completion of @i<T> is declared;>
+@xbullet<it occurs within the scope of a @fa<nonlimited_with_clause> that mentions
+a library package in whose visible part the completion of @i<T> is declared, or>
 
-@xbullet<it occurs within the scope of @i<T> after the completion of @i<T> if
-@i<T> is an incomplete view declared by an @fa<incomplete_type_declaration>,
-and the completion of @i<T> is declared immediately within the same
-declarative list as @i<T>.>
+@xbullet<it occurs within the scope of @i<T> after the completion of @i<T> and
+@i<T> is an incomplete view declared by an @fa<incomplete_type_declaration>.>
 
 !corrigendum 3.10.1(2.6/2)