CVS difference for ai05s/ai05-0111-3.txt

--- ai05s/ai05-0111-3.txt	2011/09/29 06:34:01	1.16
+++ ai05s/ai05-0111-3.txt	2011/10/21 06:42:21	1.17
@@ -1,4 +1,4 @@
-!standard  4.8(2)                                   11-07-18    AI05-0111-3/12
+!standard  4.8(2)                                   11-10-10    AI05-0111-3/13
 !standard  4.8(3/2)
 !standard  4.8(5/2)
 !standard  4.8(10.3/2)
@@ -229,7 +229,7 @@
 When an allocator for a type whose storage pool supports subpools is evaluated,
 a call is made on Allocate_From_Subpool passing in a Subpool_Handle, in addition
 to the parameters as defined for calls on Allocate (see 13.11). The subpool
-denoted by the *subpool_handle_*name is used, if specified in an allocator.
+designated by the *subpool_handle_*name is used, if specified in an allocator.
 Otherwise, Default_Subpool_for_Pool of the Pool is used to provide a subpool
 handle. All requirements on the Allocate procedure also apply to
 Allocate_from_Subpool.
@@ -836,7 +836,7 @@
 @dby
 @xcode<@b<type> Mark_Release_Pool_Type
    (Pool_Size : Storage_Elements.Storage_Count)
-        @b<is new> Subpools.Root_Storage_Pool_with_Subpools @b<with private>;
+        @b<is new> Subpools.Root_Storage_Pool_With_Subpools @b<with private>;
       -- @i<@ft<As defined in package MR_Pool, see 13.11.6>>>
 
 !corrigendum 13.11(41)
@@ -965,7 +965,7 @@
 When an @fa<allocator> for a type whose storage pool supports subpools is evaluated,
 a call is made on Allocate_From_Subpool passing in a Subpool_Handle, in addition
 to the parameters as defined for calls on Allocate (see 13.11). The subpool
-denoted by the @i<subpool_handle_>@fa<name> is used, if specified in an @fa<allocator>.
+designated by the @i<subpool_handle_>@fa<name> is used, if specified in an @fa<allocator>.
 Otherwise, Default_Subpool_for_Pool of the Pool is used to provide a subpool
 handle. All requirements on the Allocate procedure also apply to
 Allocate_from_Subpool.