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

--- ai05s/ai05-0111-3.txt	2011/11/01 05:32:51	1.18
+++ ai05s/ai05-0111-3.txt	2012/01/05 06:19:32	1.19
@@ -879,7 +879,7 @@
 be used for allocation from the associated storage pool, or a particular
 subpool may be specified as part of an @fa<allocator> (see 4.8).
 
-@i<@s8<Static Semantics>>
+@s8<@i<Static Semantics>>
 
 The following language-defined library package exists:
 
@@ -970,7 +970,7 @@
 handle. All requirements on the Allocate procedure also apply to
 Allocate_from_Subpool.
 
-@i<@s8<Legality Rules>>
+@s8<@i<Legality Rules>>
 
 If a storage pool that supports subpools is specified as the Storage_Pool for
 an access type, the access type is called a @i<subpool access type>. A subpool
@@ -979,7 +979,7 @@
 The accessibility level of a subpool access type shall not be statically
 deeper than that of the storage pool object.
 
-@i<@s8<Dynamic Semantics>>
+@s8<@i<Dynamic Semantics>>
 
 When a subpool access type is frozen (see 13.14), a check is made that the
 accessibility level of the subpool access type is not deeper than that of
@@ -998,7 +998,7 @@
 
 Unless overridden, Default_Subpool_for_Pool propagates Program_Error.
 
-@i<@s8<Implementation Permissions>>
+@s8<@i<Implementation Permissions>>
 
 When an allocator for a type whose storage pool is of type
 Root_Storage_Pool'Class is evaluated, but supports subpools, the
@@ -1039,7 +1039,7 @@
 
 A subpool may be explicitly deallocated using Unchecked_Deallocate_Subpool.
 
-@i<@s8<Static Semantics>>
+@s8<@i<Static Semantics>>
 
 The following language-defined library procedure exists:
 
@@ -1067,7 +1067,7 @@
 
 !corrigendum 13.11.6(0)
 
-@i<@s8<Examples>>
+@s8<@i<Examples>>
 
 The following example is a simple but complete implementation of the classic
 Mark/Release pool using subpools: