CVS difference for ai05s/ai05-0009-1.txt

--- ai05s/ai05-0009-1.txt	2009/04/24 03:13:10	1.12
+++ ai05s/ai05-0009-1.txt	2009/06/02 06:22:36	1.13
@@ -1,4 +1,4 @@
-!standard 9.10(1)                                      09-03-10    AI05-0009-1/09
+!standard 9.10(1)                                      09-05-21    AI05-0009-1/10
 !standard 13.1(15/1)
 !standard 13.2(9)
 !standard 13.3(13)
@@ -123,7 +123,7 @@
 
 Add after C.6(4): [Syntax]
 
-pragma Independent (*component*_local_name);
+pragma Independent(*component*_local_name);
 
 
 Add after C.6(6):
@@ -160,8 +160,8 @@
 
 Pragmas Independent and Independent_Components *specify as independently
 addressable* the named object or component(s), or in the case of a type, all
-objects of that type. All atomic objects are specified as independently
-addressable.
+objects of that type. All atomic objects are considered to be specified
+as independently addressable.
 
 
 AARM Ramification: If the compiler cannot guarantee that an object
@@ -219,9 +219,8 @@
 We also added Convention to 9.10(1) to allow non-independent
 addressability for conventions other than Ada. Atomic objects always
 have independent addressability compared to any other object (including
-components). This is necessary so that the intent that tasks can
-access such objects safely without (separate) synchronization is
-accomplished.
+components). This is necessary in order to satisfy the intent that tasks
+can access atomic objects safely without (explicit) sychronization.
 
 The new pragmas are added in C.6, defining Independent to be applicable to
 individual record components, and Independent_Components which
@@ -300,7 +299,7 @@
 matches the first subtype of the parent type. An inherited aspect of
 representation is overridden by a subsequent representation item that
 specifies the same aspect of the type or subtype. 
-@drepl
+@dby
 A derived type inherits each type-related aspect of representation of its
 parent type that was directly specified before the declaration of the derived
 type, or (in the case where the parent is derived) that was inherited by the
@@ -401,8 +400,8 @@
 @dinst
 Pragmas Independent and Independent_Components @i<specify as independently
 addressable> the named object or component(s), or in the case of a type, all
-objects of that type. All atomic objects are specified as independently
-addressable.
+objects of that type. All atomic objects are considered to be specified as
+independently addressable.
 
 !ACATS Tests