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

--- ai05s/ai05-0111-3.txt	2012/01/05 06:19:32	1.19
+++ ai05s/ai05-0111-3.txt	2012/01/27 23:23:10	1.20
@@ -1037,6 +1037,8 @@
 
 !corrigendum 13.11.5(0)
 
+@dinsc
+
 A subpool may be explicitly deallocated using Unchecked_Deallocate_Subpool.
 
 @s8<@i<Static Semantics>>
@@ -1067,6 +1069,8 @@
 
 !corrigendum 13.11.6(0)
 
+@dinsc
+
 @s8<@i<Examples>>
 
 The following example is a simple but complete implementation of the classic
@@ -1078,9 +1082,9 @@
 @b<package> MR_Pool @b<is>>
 
 @xcode<   @b<use> System.Storage_Pools;
-         -- @ft<@i<For uses of Subpools.>>
+      -- @ft<@i<For uses of Subpools.>>
    @b<use> System.Storage_Elements;
-         -- @ft<@i<For uses of Storage_Count and Storage_Array.>>>
+      -- @ft<@i<For uses of Storage_Count and Storage_Array.>>>
 
 @xcode<   -- @ft<@i<Mark and Release work in a stack fashion, and allocations are not allowed>>
    -- @ft<@i<from a subpool other than the one at the top of the stack. This is also>>
@@ -1135,7 +1139,7 @@
 
 @xcode<   @b<overriding>
    @b<function> Default_Subpool_for_Pool (
-      Pool : @b<in> Mark_Release_Pool_Type) return not null Subpool_Handle;>
+      Pool : @b<in> Mark_Release_Pool_Type) @b<return not null> Subpool_Handle;>
 
 @xcode<   @b<overriding>
    @b<procedure> Initialize (Pool : @b<in out> Mark_Release_Pool_Type);>
@@ -1169,7 +1173,7 @@
       @b<do>
          Result.Start := Pool.Next_Allocation;
          Subpools.Set_Pool_of_Subpool (Result, Pool'Unchecked_Access);
-      @b<end> return;
+      @b<end return>;
    @b<end> Create_Subpool;>
 
 @xcode<   @b<procedure> Deallocate_Subpool (