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

--- ai12s/ai12-0001-1.txt	2013/07/09 04:04:30	1.6
+++ ai12s/ai12-0001-1.txt	2013/07/18 05:05:30	1.7
@@ -211,7 +211,7 @@
 greater than the word size may be allocated an integral number of words.>
 @dby
 @xbullet<For a packed record type, the components should be packed as tightly as
-possible subject to {the above alignment requirements}, the Sizes of the
+possible subject to the above alignment requirements, the Sizes of the
 component subtypes, and any @fa<record_representation_clause> that
 applies to the type; the implementation may, but need not, reorder components or
 cross aligned word boundaries to improve the packing. A component whose Size is
@@ -220,16 +220,15 @@
 !corrigendum 13.2(9/3)
 
 @drepl
-@xbullet<For a packed array type, if the component subtype's Size is less than
-or equal to the word size, and Component_Size is not specified for the type,
-Component_Size should be less than or equal to the Size of the component subtype,
-rounded up to the nearest factor of the word size.>
+@xbullet<For a packed array type, if the Size of the component subtype is less
+than or equal to the word size, Component_Size should be less than or equal to
+the Size of the component subtype, rounded up to the nearest factor of the
+word size.>
 @dby
-@xbullet<For a packed array type, if the component subtype's Size is less than
-or equal to the word size, and Component_Size is not specified for the type,
-Component_Size should be less than or equal to the Size of the component subtype,
-rounded up to the nearest factor of the word size, unless this would violate the
-above alignment requirements.>
+@xbullet<For a packed array type, if the Size of the component subtype is less
+than or equal to the word size, Component_Size should be less than or equal to
+the Size of the component subtype, rounded up to the nearest factor of the
+word size, unless this would violate the above alignment requirements.>
 
 !corrigendum C.6(8.1/3)
 
@@ -247,13 +246,15 @@
 !corrigendum C.6(10)
 
 @drepl
-It is illegal to apply either an Atomic or Atomic_Components pragma to an object or type
-if the implementation cannot support the indivisible reads and updates required by the
-pragma (see below).
+It is illegal to specify either of the aspects Atomic or Atomic_Components to
+have the value True for an object or type if the implementation cannot support
+the indivisible reads and updates required by the aspect
+(see below).
 @dby
-It is illegal to apply either an Atomic or Atomic_Components pragma to an object
-or type if the implementation cannot support the indivisible and independent
-reads and updates required by the pragma (see below).
+It is illegal to specify either of the aspects Atomic or Atomic_Components to
+have the value True for an object or type if the implementation cannot support
+the indivisible and independent reads and updates required by the aspect
+(see below).
 
 !corrigendum C.6(11)