CVS difference for ais/ai-00130.txt

--- ais/ai-00130.txt	1999/10/08 23:41:05	1.9
+++ ais/ai-00130.txt	2000/04/14 01:45:07	1.10
@@ -1,4 +1,4 @@
-!standard 13.12    (08)                               99-09-15  AI95-00130/06
+!standard 13.12    (08)                               00-04-11  AI95-00130/07
 !standard 13.12    (09)
 !standard D.7      (04)
 !standard H.4      (08)
@@ -193,7 +193,7 @@
 restrictions. The consequences of violating such limitations are
 implementation defined.
 @dinst
-Implementations are permitted to omit restriction checks for code that is
+An implementation is permitted to omit restriction checks for code that is
 recognized at compile time to be unreachable and for which no code is generated.
 
 !corrigendum D.7(4)
@@ -211,7 +211,7 @@
 
 @drepl
 @xhang<@xterm<No_Local_Allocators>@fa<Allocator>s are prohibited in subprograms,
-generic subprograms, tasks, and entry bodies; instantations of generic
+generic subprograms, tasks, and entry bodies; instantiations of generic
 packages are also prohibited in these contexts.>
 @dby
 @xhang<@xterm<No_Local_Allocators>@fa<Allocator>s are prohibited in subprograms,