CVS difference for ai12s/ai12-0003-1.txt

--- ai12s/ai12-0003-1.txt	2015/03/24 05:54:17	1.21
+++ ai12s/ai12-0003-1.txt	2015/03/26 00:40:57	1.22
@@ -1,4 +1,4 @@
-!standard 8.2(11)                                   15-03-23    AI12-0003-1/12
+!standard 8.2(11)                                   15-03-25    AI12-0003-1/13
 !standard 13.11.3(1/3)
 !standard 13.11.3(3.1/3)
 !standard 13.11.3(4/3)
@@ -84,12 +84,12 @@
 
    If the pragma is used as a configuration pragma, the storage_pool_indicator
    shall be {either} null {or Standard}, and it defines the default pool to be
-   [null]{that storage_pool_indicator} within all applicable compilation units
+   [null]{the given storage_pool_indicator} within all applicable compilation units
    (see 10.1.5), except within the immediate scope of another pragma
    Default_Storage_Pool. Otherwise, Redundant[the pragma occurs immediately
    within a sequence of declarations, and] it defines the default pool within the
    immediate scope of the pragma to be [either null or the pool
-   denoted by the storage_pool_name]{that storage_pool_indicator}, except
+   denoted by the storage_pool_name]{the given storage_pool_indicator}, except
    within the immediate scope of a later pragma Default_Storage_Pool.
    Redundant [Thus, an inner pragma overrides an outer one.]
 
@@ -194,12 +194,12 @@
 Default_Storage_Pool. Thus, an inner pragma overrides an outer one.
 @dby
 If the @fa<pragma> is used as a configuration pragma, the @fa<storage_pool_indicator>
-shall be either @b<null> or Standard, and it defines the @i<default pool> to be that
-@fa<storage_pool_indicator> within all applicable compilation units
+shall be either @b<null> or Standard, and it defines the @i<default pool> to be the
+given @fa<storage_pool_indicator> within all applicable compilation units
 (see 10.1.5), except within the immediate scope of another @fa<pragma>
 Default_Storage_Pool. Otherwise, the pragma occurs immediately
 within a sequence of declarations, and it defines the default pool within the
-immediate scope of the pragma to be that @fa<storage_pool_indicator>, except
+immediate scope of the pragma to be the given @fa<storage_pool_indicator>, except
 within the immediate scope of a later pragma Default_Storage_Pool.
 Thus, an inner pragma overrides an outer one.