CVS difference for ais/ai-00130.txt

--- ais/ai-00130.txt	1999/07/29 00:51:02	1.6
+++ ais/ai-00130.txt	1999/08/31 22:53:55	1.7
@@ -1,4 +1,6 @@
-!standard H.4      (08)                               99-07-20  AI95-00130/05
+!standard 13.12    (08)                               99-08-30  AI95-00130/05
+!standard D.7      (04)
+!standard H.4      (08)
 !class binding interpretation 96-04-13
 !status Corrigendum 2000 99-07-20
 !status WG9 approved 99-06-12
@@ -7,6 +9,7 @@
 !status received 96-04-13
 !priority Medium
 !difficulty Medium
+!qualifier Clarification
 !subject Enforcing Restrictions might violate the generic contract model.
 
 !summary
@@ -35,7 +38,7 @@
       and entry bodies; instantiations of generic packages are also
       prohibited in these contexts.
 
-Why are instantiations prohibited in these contexts? (This AI allows them.)
+Why are instantiations prohibited in these contexts? (This ruling allows them.)
 
 The restrictions No_Task_Hierarchy and No_Nested_Finalization do not prohibit
 such instantiations.
@@ -187,22 +190,22 @@
 !corrigendum D.7(4)
 
 @drepl
-@xhang<No_Nested_Finalization@hr@tabObjects with controlled task parts,
+@xhang<@xterm<No_Nested_Finalization>Objects with controlled task parts,
 and access types that designate such objects, shall be declared only
 at library level.>
 @dby
-@xhang<No_Nested_Finalization@hr@tabObjects with controlled, protected,
+@xhang<@xterm<No_Nested_Finalization>Objects with controlled, protected,
 or task parts, and access types that designate such objects, shall be
 declared only at library level.>
 
 !corrigendum H.4(8)
 
 @drepl
-@xhang<No_Local_Allocators@hr@tab@fa<Allocator>s are prohibited in subprograms,
+@xhang<@xterm<No_Local_Allocators>@fa<Allocator>s are prohibited in subprograms,
 generic subprograms, tasks, and entry bodies; instantations of generic
 packages are also prohibited in these contexts.>
 @dby
-@xhang<No_Local_Allocators@hr@tab@fa<Allocator>s are prohibited in subprograms,
+@xhang<@xterm<No_Local_Allocators>@fa<Allocator>s are prohibited in subprograms,
 generic subprograms, tasks, and entry bodies.>