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

--- ai05s/ai05-0009-1.txt	2008/02/28 06:39:08	1.4
+++ ai05s/ai05-0009-1.txt	2008/05/10 05:14:33	1.5
@@ -220,7 +220,8 @@
 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 synchronization is accomplished.
+access such objects safely without (separate) synchronization is
+accomplished.
 
 C.6
 
@@ -230,12 +231,12 @@
 Pragma independent and Independent_Components are similar to Volatile and
 Atomic in that only a single entity name is accepted with the pragma.
 
-The minutes from Albuquerque identify that pragma Independent_Components
+The minutes from Albuquerque note that pragma Independent_Components
 should be considered for all composite types; however, there is no way
-to remove independence for the components of tasks or protected types,
-so the pragma is not needed for those types. Moreover, as a representation
-pragma, it is not allowed on partial views (by 13.1(9)), so we only
-need allow array and record types.
+to remove independence for the discriminants of tasks or components of
+protected types, so the pragma is not needed for those types. Moreover,
+as a representation pragma, it is not allowed on partial views
+(by 13.1(9)), so we only need to allow array and record types.
 
 
 
@@ -2316,8 +2317,6 @@
 have the wording right and all of the cases covered. You can find
 my concerns by reading the "Editor's notes" in the AI. Comments and
 suggestions are welcome.
-
-                  Randy.
 
 ****************************************************************