CVS difference for ais/ai-00237.txt

--- ais/ai-00237.txt	2004/12/09 19:55:19	1.15
+++ ais/ai-00237.txt	2005/04/13 05:36:58	1.16
@@ -1,4 +1,4 @@
-!standard C.07.01  (17)                               04-11-30  AI95-00237/07
+!standard C.07.01  (17)                               05-02-28  AI95-00237/08
 !standard C.07.02  (13)
 !standard C.07.02  (15.1/1)
 !standard C.07.02  (17)
@@ -59,7 +59,7 @@
 
 Change C.7.2 (15.1/1) to read:
    An access to a task attribute via a value of type Attribute_Handle is
-   erroneous with another such access or call of
+   erroneous if executed concurrently with another such access or a call of
    any of the operations declared in package Task_Attributes.
    An access to a task attribute is erroneous if executed concurrently with
    or after the finalization of the task attribute.
@@ -84,7 +84,7 @@
 
 This gives a clear point by which the finalization of task attributes
 must have completed: the completion of the master which contains the
-instantiation.  This point may be earlier than the termination of the
+instantiation. This point may be earlier than the termination of the
 affected tasks (a situation ignored by current wording of C.7.2).
 
 However, as many task attributes are likely to be created at library
@@ -161,7 +161,7 @@
 any of the operations declared in package Task_Attributes.
 @dby
 An access to a task attribute via a value of type Attribute_Handle is
-erroneous with another such access or call of
+erroneous if executed concurrently with another such access or a call of
 any of the operations declared in package Task_Attributes.
 An access to a task attribute is erroneous if executed concurrently with
 or after the finalization of the task attribute.