CVS difference for ais/ai-00344.txt

--- ais/ai-00344.txt	2005/01/07 03:07:41	1.15
+++ ais/ai-00344.txt	2005/02/08 07:12:34	1.16
@@ -1,4 +1,4 @@
-!standard  3.09    (04)                               04-12-08  AI95-00344/08
+!standard  3.09    (04)                               05-02-02  AI95-00344/09
 !standard  3.09    (07)
 !standard  3.09    (12)
 !standard  3.09    (25)
@@ -59,8 +59,8 @@
     type occurs within a generic_package_declaration, then the
     corresponding type declarations in distinct instances of the generic
     package are associated with distinct tags. For a tagged type that is
-    local to a generic package body and with any ancestors also
-    local to the generic body, the language does not specify
+    local to a generic package body and with all of its ancestors (if any)
+    also local to the generic body, the language does not specify
     whether repeated instantiations of the generic body result in
     distinct tags.
 
@@ -131,7 +131,7 @@
     formal packages of the generic unit, as well as formal tagged and tagged
     formal derived types of the generic unit.
 
-Delete the first sentence of 3.9.1(7).
+Delete the first sentence of 3.9.1(7); change from package_body to body.
 
 Add after 4.8(5):
 
@@ -343,9 +343,9 @@
 type occurs within a @fa<generic_package_declaration>, then the
 corresponding type declarations in distinct instances of the generic
 package are associated with distinct tags. For a tagged type that is local to a
-generic package body and with any ancestors also local to the generic body, the
-language does not specify whether repeated instantiations of the generic body
-result in distinct tags.
+generic package body and with all of its ancestors (if any) also local to the
+generic body, the language does not specify whether repeated instantiations
+of the generic body result in distinct tags.
 
 !corrigendum 03.09(7)
 
@@ -425,7 +425,7 @@
 but new primitive subprograms cannot be added.
 @dby
 When an extension is declared immediately within a
-@fa<package_body>, primitive subprograms are inherited and are overridable,
+body, primitive subprograms are inherited and are overridable,
 but new primitive subprograms cannot be added.